http://markfarrell.ca/
m4farrel
Email me at m4farrel.NW6cLkmZ@fo... .
A Dependently Typed Functional Programming Language
A small strongly, statically typed language that compiles to Javascript.