8000 Releases · flupe/generics · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: flupe/generics

1.0.1

01 Jul 14:37
@flupe flupe
v1.0.1
2b8f19e
Compare
Choose a tag to compare
1.0.1 Latest
Latest
  • Updated to be compatible with Agda 2.6.4.3 and stdlib 2.0.
  • Added missing generic NoConfusion principle.
Assets 2
Loading

1.0.0

10 Jan 00:13
@flupe flupe
v1.0.0
db764f8
Compare
Choose a tag to compare
1.0.0

First release

Loading
0