/psiml

a prototype language with subtyping polymorphism and type inference

Primary LanguageClojureMIT LicenseMIT

psiml

Polymorphic, Subtyped and type Infered ML is a prototype language inspired by Stephen Dolans' MLsub.

Usage

# On the JVM
lein run
lein repl
lein test
# On your browser
lein cljsbuild once
firefox index.html