GitHub - helvm/edwinb-ws-idr: Fork of Edwin Brady's Whitespace interpreter in Idris

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 15 Commits
.gitignore		.gitignore
Bounded.idr		Bounded.idr
CheckLang.idr		CheckLang.idr
Interp.idr		Interp.idr
Lang.idr		Lang.idr
Main.idr		Main.idr
Parser.idr		Parser.idr
README.md		README.md
RawLang.idr		RawLang.idr
build		build
fact.ws		fact.ws
hanoi.ws		hanoi.ws
hworld.ws		hworld.ws
name.ws		name.ws
wspace.ipkg		wspace.ipkg

Provide feedback