GitHub - edwinb/WS-idr: Yes, it is what you think it is

To build, install the latest Idris (http://idris-lang.org/) then type

./build

from the source directory.

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
Bounded.idr		Bounded.idr
CheckLang.idr		CheckLang.idr
Interp.idr		Interp.idr
Lang.idr		Lang.idr
Main.idr		Main.idr
NatCmp.idr		NatCmp.idr
Parser.idr		Parser.idr
README.md		README.md
RawLang.idr		RawLang.idr
fact.ws		fact.ws
hanoi.ws		hanoi.ws
hworld.ws		hworld.ws
name.ws		name.ws
wspace.ipkg		wspace.ipkg

Provide feedback