jonsterling/dingle-dangle-agda — pull request #1 by jonsterling (2013-01-18 01:02:04+00:00)
Title: Polymorphism: System F + Structural Types

Still to do before merging:

- [ ] add subtyping relation (with witnesses)
- [ ] add coercion operator