Aerate

Pinned Repositories

condatis
Verifying Functional Reactive Programs with Side Effects
Language:Agda11
FRP
Language:Agda00
KogMod-Exp
Language:Python00
MetaprogAgda
being the materials for Summer 2013's course
Language:Agda00
Rigor
00

Aerate's Repositories

Aerate/condatis
Verifying Functional Reactive Programs with Side Effects
Language:Agda11
Aerate/FRP
Language:Agda00
Aerate/KogMod-Exp
Language:Python00
Aerate/MetaprogAgda
being the materials for Summer 2013's course
Language:Agda00
Aerate/Rigor
00