search

MonoidalAttackTrees / ILL-Impl

Implementation of a term assignment for intuitionistic linear logic
0 stars 0 forks source link

Unable to Push to remote #9

Closed tattymennis closed 8 years ago

tattymennis commented 8 years ago

Could not push a new commit to repo (19:00 EST 27 June 2016). I can only commit to local repo.