git.iko.soy/Idris-dev
on master help sign in
history of02de034..master
compare
ac30a5aRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi 553a622Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi 2ec6be9Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady d25bf25Merge branch 'master' of git://github.com/idris-lang/Idris-devEdwin Brady a1c7a5aUpdate READMEMarkus Pfeiffer 1a30718Update READMEMarkus Pfeiffer d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer