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.