Subject: Re: audio recording
To: Allen Briggs <>
From: Julian Assange <>
List: current-users
Date: 10/27/1999 13:00:04
Allen Briggs <> writes:

> > The best 'free' software of this type for Unix that I've seen is 'DAP'.
> > It's *infinitely* better than xwave for recording and editing audio
> > streams, and it looks _way_ cool, to boot. ;-)

I managed to get this compiled, using the sun target, -DLINUX,
-lossaudio, and some X11 libs hackery etc

Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].