git.iko.soy/Idris-dev
on e8ea34b help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Fix error in Java name mangling BCImp.hsAdd a Cabal library Bytecode.hsAdd a Cabal library CodegenC.hsInsert U, UL, and ULL suffixes in C CodegenCommon.hsAdd a Cabal library CodegenJava.hsFix missing case in CodegenJava CodegenJavaScript.hsjavascript: quick & dirty compile time error on invalid FFI CodegenLLVM.hsFix some load instructions being incorrectly marked as invariant for LLVM Compiler.hsUse postulates for decEq primitive proofs Defunctionalise.hsRemove pessimisation from Defunctionalisation DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsAdd ManagedPtr type Simplified.hsMake lookupCtxtExact return Maybe instead of List System.hsAdd more ifdefs for DragonFly