Skip to content
Yes, it is what you think it is
Idris
Latest commit d900bd4 Jan 20, 2016 @edwinb Cure bitrot
Failed to load latest commit information.
Bounded.idr
CheckLang.idr
Interp.idr
Lang.idr
Main.idr Cure bitrot Jan 20, 2016
NatCmp.idr Remove NatCmp since it's in the library Jul 15, 2014
Parser.idr Update for latest Idris May 16, 2015
README.md Add sources Nov 25, 2012
RawLang.idr Update Set to Type Dec 11, 2012
fact.ws
hanoi.ws
hworld.ws Add sources Nov 25, 2012
name.ws Add sources Nov 25, 2012
wspace.ipkg

README.md

Something went wrong with that request. Please try again.