Prototype Showcase
This typechecker is a proof of concept, intended to typecheck only a few examples. It does not yet reflect the final form of Elixir types, and its reliance on a third-party language greatly impacts performance.
Typecheck result:
Syntax
For this prototype only, the syntax for type annotations is
function_name :: (type)
over functions definitions.