A Gradual type system for Erlang
Functional companion to Kotlin's Compiler
👾 Sokoban Game in Pure TypeScript Type System
luajit with a typesystem
Some examples for Λrrow Meta the functional companion to Kotlin's Compil...
hindley-milner algorithm