cedille topic
List
cedille
repositories
meta-cedille
55
Stars
0
Forks
Watchers
Minimalistic dependent type theory with syntactic metaprogramming
WhatisRT
cedille
dependent-types
lambda-calculus
metaprogramming