dedukti-1.0.1: A type-checker for the » -modulo calculus. Contents Index

Search:

ap Dedukti.Runtime App Dedukti.Runtime bbox Dedukti.Runtime Box Dedukti.Runtime checkDeclaration Dedukti.Runtime checkRule Dedukti.Runtime Code Dedukti.Runtime Con Dedukti.Runtime convertible Dedukti.Runtime Kind Dedukti.Runtime Lam Dedukti.Runtime obj Dedukti.Runtime Pi Dedukti.Runtime sbox Dedukti.Runtime start Dedukti.Runtime stop Dedukti.Runtime TApp Dedukti.Runtime Term Dedukti.Runtime TLam Dedukti.Runtime TPi Dedukti.Runtime TType Dedukti.Runtime Type Dedukti.Runtime UBox Dedukti.Runtime Var Dedukti.Runtime