Test - Githubissues

MonoidalAttackTrees / ILL-Impl

Implementation of a term assignment for intuitionistic linear logic

0 stars 0 forks source link

Closed heades closed 8 years ago

heades commented 8 years ago

@tattymennis did you get an email about this issue? Please respond here -- on Github -- if you did.

Thanks, Prof. Eades

tattymennis commented 8 years ago

Sure did, got plenty of them!