Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can be composed, re-used and turned into property-testing generators. TypeCheck also focuses on showing understandable messages on typecheck-failures.
Show All Versions
Show All Activities
2020 © Six Colors AB.
Powered by the Erlang VM and the Elixir programming language.