phadej / agda-np

More programming suited version of All and Any, and other tools I keep reimplementing.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

More programming suited version of All and Any, and other tools I keep reimplementing.


Languages

Language:Agda 87.4%Language:Makefile 12.6%