search

MonoidalAttackTrees / ILL-Impl

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

Syntax data type #3

Closed heades closed 8 years ago

tattymennis commented 8 years ago

I like this issue tracker system. Should I be able to see information about the Syntax milestone? Whenever I navigate to this issue, I come back to the timeline/comment page, not to any content or information.

tattymennis commented 8 years ago

I suppose the Description thread would contain any information and files provided. Neat.

heades commented 8 years ago

Click "Issues", and then click "Milestones", and then you can see the descriptions below each milestone. Also, don't close issues until we have both agreed that they should be closed.