Check all unifications inside the type checker with B spec - Githubissues

hhu-stups / pyB

pyB

6 stars 0 forks source link

Check all unifications inside the type checker with B spec #30

Open JonnyWalker opened 10 years ago