1. Rob Simmons
  2. agda-lib

Source

agda-lib /

Filename Size Date modified Message
Demo
Lib
25 B
Gradually sorting out the standard lib, take 1
1.4 KB
Make it clear that the license is for the agda library
621 B
Add coinduction, etc