joyfl — v0.5: Types, Safety & Testing Major changes in this last release with a particular focus on types (ADT-lite), validation, and a test framework. The language is still dynamic, but I expect more & more checking will be done statically… Now 111 tests in the langspec!