Skip to content

being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017

Notifications You must be signed in to change notification settings

pigworker/Ohrid-Agda

About

being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published