Typeclasses and Generic Inductive Types
Since launching the Acorn beta, we've heard consistent feedback from mathematicians that they need a powerful type system to represent their favorite area of mathematics.
Today, we're releasing two big improvements to Acorn's type system. The first is typeclasses.