search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Replace RecoverTypes in VerifyZ3 with type class magic #138

Open jeapostrophe opened 5 years ago

jeapostrophe commented 5 years ago

Or better yet, have the EPP pass output the useful information itself