git.iko.soy/Idris-dev
on 11d4fee help sign in
history ofsrc/Idris/Compiler.hs
all commits
11d4feeSome file handlingEdwin Brady 8f77986Added some serialisationEdwin Brady 57c8ed3Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main'Edwin Brady b26716aCollect cumulativity constraints on universesEdwin Brady 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