Problem with type inference
Hello François. Following your PR/issue on Lambdapi, I tried to fix it but I have a problem that seems related to Menhir. See https://github.com/Deducteam/lambdapi/pull/798. I would appreciate your help very much.
Hello François. Following your PR/issue on Lambdapi, I tried to fix it but I have a problem that seems related to Menhir. See https://github.com/Deducteam/lambdapi/pull/798. I would appreciate your help very much.