Disclaimer: The documentation is still in the making...
You may want to read the documentation from the modules in this order if you want to learn Idris via examples.
- Data.Result
- Data.Form
- Data.Between
- Data.StringN
- Language.JSON.Schema
- Rango.BoundedContext.Workflow
- Rango.BoundedContext.BoundedContext
- Service.NodeJS.Date
- Service.NodeJS.Random
- Service.NodeJS.MD5
- Service.NodeJS.Promise
- ...
You may want to read the documentation from the modules in this order if you want to learn about the DDD solution and its implementation in Idris.
- TODO