search

MonoidalAttackTrees / ILL-Impl

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

Upload weekly materials #8

Closed heades closed 8 years ago

heades commented 8 years ago

Hi, Matt.

Please upload your weekly journal entry and hours.

Thanks, Prof. Eades

tattymennis commented 8 years ago

Materials updated yesterday.