Welcome to the JADT Wiki

The wiki is just a shared scratch space for notes, thoughts, experiments, etc.

For primary documentation go here.

Design thoughts

• mutabile ADTs. Implemented
• GADTs.
• Custom methods.