Introduction
This is a catalog to all the documentations and their status.
Type System
Misc
- fixity [done]
Template System
- implementing template for a single type [todo]
- implementing template for some types: [done]
- implementing template for all types [todo]