Giters

pigworker / Ohrid-Agda

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ohrid-Agda

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

About

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

Languages

Language:Agda 95.0%Language:Haskell 4.8%Language:Makefile 0.2%