Malin Altenmüller's repositories
plfa.github.io
An introduction to programming language theory in Agda
CC-BY-4.0000
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
000
Language:HTML000
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
operads
Implementation of "A combinatorial presentation of the operad of plane graphs"
Language:Agda000
000
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000