GitHub repository: rlepigre/lambdapi
Primary language: OCaml
Created: 2017-09-10T20:32:16Z
Description: Minimal implementation of the λΠ-calculus modulo