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

1.0.1

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