#
# ChangeLog for Papers/polymorphic-variants-2012/Variants2.agda
#
# Generated by Trac 1.2
# Dec 9, 2019, 1:26:41 PM

Tue, 11 Dec 2012 14:19:42 GMT mulligan [2552]
	* Papers/polymorphic-variants-2012/Variants2.agda (added)

	Some different ideas, don't seem to be working out well.