GitHub repository: proglang/ldlc
Primary language: Agda
Created: 2019-03-06T17:49:20Z
Description: label dependent lambda calculus