A strict, purely functional, statically typed language with emphasis on structural typing. Wip in progress.

Updated 1 month ago