/msla2014

wherein I implement several substructural logics in Agda

Primary LanguageAgda

Stargazers