Define the pretty printer - Githubissues

MonoidalAttackTrees / ILL-Impl

Implementation of a term assignment for intuitionistic linear logic

0 stars 0 forks source link

Define the pretty printer #5

Closed heades closed 8 years ago