Timestamp:
Dec 7, 2012, 11:13:00 AM (7 years ago)
Author:
mulligan
Message:

Trying an Agda port of the polymorphic variants implementation to see how tedious it is. Major stumbling block at the moment is the lack of coercions. Suggested solution is to use type classes, but this doesn't seem very nice either.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.