Removing Comments - 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

Please remove the comments that cite "RecCalc"

These are not helpful to a wider audience.

tattymennis commented 8 years ago

References to RecCalc have been removed.