aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/nativenorm.mli
Commit message (Expand)AuthorAge
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22