GitHub - demtech/agda-nplib: Proposed extensions to Agda standard's library · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 199 Commits
experiment		experiment
lib		lib
.gitignore		.gitignore
README		README

Repository files navigation

About

Proposed extensions to Agda standard's library

Custom properties

0 stars

9 watching

Report repository

Releases

Packages

Contributors