../ Core/Minor cleanup and better comment and Haddock14 years ago IRTS/Merge pull request #246 from bitlisp/ffi214 years ago Idris/Add syntax for language extensions and turn off type providers by default14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Proper executable and object file creation via maven + need for run_java tests removed14 years ago Main.hsquiet mode: for editors14 years ago