agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

Instances of apartness structures for common numeric types

Open Taneb opened this issue 3 years ago • 0 comments

  • [x] ℚᵘ is a HeytingField #1959
  • [ ] ℚ is a HeytingField #2194

Taneb avatar Mar 06 '22 07:03 Taneb