2014-06-28
		01:29 UTC Revision 1 . . . . BayleShanks – see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the ability to represent GADTs destroy principal . . .

History of notes-computer-jasper-jasperTypeNotes1