Bootstrapped algebraic data types for Elixir, forked by doma for maintenance and testing packagesets

Monads and other dark magic (monoids, functors, traversables, &c), forked by doma for maintenance and testing packagesets

A program specification language with a defined syntax, and ad-hoc semantics.

Bootstrapped algebraic data types for Elixir

Monads and other dark magic (monoids, functors, traversables, &c)