../ Core/Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago IRTS/Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago Idris/send log over the wire if in ideslave mode doesn't capture the Debug.Trace usage in Core (with log level >= 5) yet, unfortunately13 years ago Pkg/Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago Util/Support for FreeBSD13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago