Giters
Se (Aerate)

Aerate

Geek Repo

3

followers

8

following

3

stars

Github PK Tool:Github PK Tool

Se's repositories

condatis

Verifying Functional Reactive Programs with Side Effects

Language:AgdaLicense:UnlicenseStargazers:1Issues:0Issues:0

KogMod-Exp

Language:PythonStargazers:0Issues:0Issues:0

Rigor

License:GPL-3.0Stargazers:0Issues:0Issues:0

FRP

Language:AgdaStargazers:0Issues:0Issues:0

MetaprogAgda

being the materials for Summer 2013's course

Language:AgdaStargazers:0Issues:0Issues:0