Pinned Repositories
condatis
Verifying Functional Reactive Programs with Side Effects
FRP
KogMod-Exp
MetaprogAgda
being the materials for Summer 2013's course
Rigor
Aerate's Repositories
Aerate/condatis
Verifying Functional Reactive Programs with Side Effects
Aerate/FRP
Aerate/KogMod-Exp
Aerate/MetaprogAgda
being the materials for Summer 2013's course
Aerate/Rigor