../ Core/Allow simple function types to be reflected13 years ago IRTS/Use atomic allocations when safe in LLVM codegen.13 years ago Idris/Move universe level check to after all modules are loaded ...otherwise it gets repeated needlessly for every module13 years ago Pkg/Some unification fixes13 years ago Util/default case for hostDynamicLibExt.13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsUpdate usage with --codegen and add a couple of other flags.13 years ago