I would like to write down the different things we need to do until we can consider our effort in documenting typdefs over. This emerges from feedback I received from Zurihac and I would invite you to add your ideas here
[x] Make a tutorial that explains how to install typedefs #153
[x] rename typedefs-parser in typedefs and typedefs into typedefs-lib #145
[ ] Write a light tutorial based on examples and code snippets on how to define common types #154
[x] Write an advanced tutorial explaining the theory behind Typedefs #155
[ ] Write and example project that makes use of the Haskell backend and and an advanced tutorial that explains how the details of the algebra we're using
I would like to write down the different things we need to do until we can consider our effort in documenting typdefs over. This emerges from feedback I received from Zurihac and I would invite you to add your ideas here
typedefs-parser
intypedefs
andtypedefs
intotypedefs-lib
#145