Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
src		src
.gitignore		.gitignore
README.md		README.md

Repository files navigation

MiniHaskell in Idris

Blatantly ported from the excellent plzoo.

Compiling

idris MiniHaskell.idr -o mh

Tests

After compiling run

./tests.sh

New tests need

a test file under tests
the file's name (w/o ext) added to tests.sh
an expectation file (file-name-exp.mh) in tests

About

A port of plzoo's minihaskell in Idris

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages