../ Core/Unification fix to avoid giving up on recoverable errors13 years ago IRTS/Updated dependencies and types for Haskell llvm bindings v3.3.8.1.13 years ago Idris/Merge pull request #485 from lambdadomain/master13 years ago Pkg/Some packaging fixes13 years ago Util/Prevent duplicate dynamic linking13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsFixing a typo in the --help usage screen.13 years ago