lives-group / APEG

2 stars 0 forks source link

Typechecker #18

Closed lvsreis closed 4 years ago

lvsreis commented 4 years ago

Typechecker for basica APEG rules