agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard
verified publisher icon agda

Exact Completion

Open JacquesCarette opened this issue 4 years ago • 0 comments

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

JacquesCarette avatar May 26 '21 20:05 JacquesCarette