Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard
verified publisher icon idris-lang

[ papers ] A Completely Unique Account of Enumeration

Open gallais opened this issue 3 years ago • 0 comments

TODO:

  • [ ] Correctness proofs (completeness + uniqueness) [I'm not planning to do this myself]
  • [ ] Examples
  • [ ] Use this for performance testing

gallais avatar Sep 14 '22 14:09 gallais