Stars
8
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
A slow-paced introduction to reflection in Agda. ---Tactics!
Showing how some simple mathematical theories naturally give rise to some common data-structures
This is the place where (more or less) stable releases of my RW library will be published.
Relational algebra implementation in Agda with simple bindings to SQLITE