You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There should an issue somewhere but I cannot find it about doing this using literate Idris. I'd say let's start with "normal" documentation and I'll translate it into the literate idris file in latex form as progress cristallizes. If someone can find the original literate idris issue please reference it here!
Provide an overview of the project, with step which needs to be taken and code snippets to guide the implementation
The text was updated successfully, but these errors were encountered: