narc-rs icon indicating copy to clipboard operation
narc-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang

Check codata declarations

Open ice1000 opened this issue 5 years ago • 0 comments

As title. http://hackage.haskell.org/package/Agda-2.5.4/docs/Agda-TypeChecking-Rules-Record.html

ice1000 avatar Oct 04 '19 01:10 ice1000