git.iko.soy/Idris-dev
on 4cec951 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 7580119Added --libdir optionEdwin Brady 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady ef1d7baMerge pull request #48 from raichoo/masterEdwin Brady 7cdb0c0Removed Epic dependencyEdwin Brady b642db5Almost working new back endEdwin Brady 7f2d76cenhanced proof handelingraichoo b8815e2added proof listraichoo 7c75851Test file for new VM, hook up parserEdwin Brady 848a597Lift syntax tree, main monad and pretty printing out of AbsSyntaxEdwin Brady