git.iko.soy/Idris-dev
on 01ceead help sign in
history ofsrc/Idris/Compiler.hs
all commits
bbaa193Better representation of namesEdwin Brady f9a0008Added 'believe_me'Edwin Brady 925648aAdd %include directiveEdwin Brady 9a59cb5Add FalseElim as a primitiveEdwin Brady 4931c20Added Integer (but an Epic bug prevents them compiling properly)Edwin Brady 5afe678Added log/exp (and lib/link directives)Edwin Brady 2c05448Give invented pattern variables unique namesEdwin Brady ffc64e3Add mechanism for simplification and function optionsEdwin Brady a4a77bfMake do notation use Monad classEdwin Brady 1155e79Laziness annotationsEdwin Brady 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady bf368abFirst attempt at with ruleEdwin Brady 12bd089Added lifting of unsolved metavariables to global functionsEdwin Brady 1c9392etinker tinkerEdwin Brady bda1f6fMore of the compilerEdwin Brady 4436bcbAdded Idris.CompilerEdwin Brady