/ILL-Impl

Implementation of a term assignment for intuitionistic linear logic

Primary LanguageHaskell

Watchers