Giters

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting

Home Page:https://deducteam.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The tokens CCOLON and INT are unused

fblanqui opened this issue · comments

commented

This creates problems with the new version of Menhir. See Deducteam/lambdapi#797.