Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
-
Updated
Mar 13, 2022 - Haskell
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Simple conversion from Agda text to literate Agda text.
Output results directly to a lhs file.
VNC Remote Desktop Client developed purely in Haskell.
Semi-literate polyglot solutions to Advent of Code problems.
Track the publish dates of your favorite comics
mdr, the markdown runner.
A pandoc filter to render LaTeX code blocks using minted
Advent of Code 2018
Generate pretty invoices from Tyme 2 logs.
Polymorphic graph ideas in Haskell
Anansi is a preprocessor for literate programs, in the model of Noweb or nuweb.
Add a description, image, and links to the literate-programming topic page so that developers can more easily learn about it.
To associate your repository with the literate-programming topic, visit your repo's landing page and select "manage topics."