Giters

jonsterling / agda-directed-plump-ordering

Home Page:http://www.jonmsterling.com/agda-directed-plump-ordering/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

http://www.jonmsterling.com/agda-directed-plump-ordering/

Languages

Language:Agda 99.2%Language:Shell 0.8%