indrjo's repositories
minimal-texlive-installer
Get yourself a minimal TeXlive on GNU/Linux.
Language:HaskellMIT000
agda-notes
Agda lecture notes for the Functional Programming course at TU Delft
Language:TeX000
Language:AgdaMIT000
algebra
Algebra 1 and Algebra 2 notes at UNIPV.
Language:TeXCC0-1.0000
Language:TeXCC0-1.0000
analisi-funzionale
Appunti del corso
Language:TeX000
Language:ShellMIT000
itaca-guitart-extenseurs
For ItaCa [work in progress...]
Language:TeXCC0-1.0000
commutative-diagrams
CoDi: Commutative Diagrams for TeX
Language:TeXMIT000
Language:Emacs LispMIT000
Language:Shell000
hardv
A Highly Extendable Flashcard Quiz App for UNIX Terminals
Language:CBSD-3-Clause000
haskell-sandbox
Various things written in Haskell
Language:Haskell000
learn-git
Learning git
CC0-1.0000
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
NOASSERTION000
Language:Racket000
Language:TeX000
Language:TeX000