search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363 stars 68 forks source link

Exact Completion #281

Open JacquesCarette opened 3 years ago

JacquesCarette commented 3 years ago

The ex/lex construction of exact completion would be nice to have in Agda.