Giters

pigworker / Samizdat

being bits and pieces I'm inclined to leave lying around

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

being bits and pieces I'm inclined to leave lying around

Languages

Language:Agda 67.4%Language:Haskell 30.7%Language:Coq 1.8%