Mercurial > urweb
diff src/explify.sml @ 452:222cbc1da232
Fix some type-class detection
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 01 Nov 2008 17:19:12 -0400 |
parents | 89f766f19d5b |
children | d34834af4512 |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 01 Nov 2008 17:19:12 -0400 |
parents | 89f766f19d5b |
children | d34834af4512 |