Name		Name	Last commit message	Last commit date
Latest commit History 91 Commits
aaig		aaig
docs		docs
eunix		eunix
lol		lol
paip		paip
pandoc-minted		pandoc-minted
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md

Repository files navigation

Literate Programming

aaig: 📖 Abstract Algebra in GAP (repo)
eunix: Reimplementations of UNIX tools
- echo
lol: 📖 Land of Lisp (repo)
- Chapter 2: The Guess-My-Number Game
- Chapter 4: Pudding Eater
- Chapter 5: The Wizard's Adventure Game
- Chapter 6: The Wizard's Adventure Game REPL
pandoc-minted: A pandoc filter to render LaTeX code blocks using minted (repo)
paip: 📖 Paradigms of Artificial Intelligence Programming
src/erlang: Joe Armstrong's Favorite Erlang Program
src/idris: Hello, noweb!