Skip to content
v0.3
f255878e · Add some type annotation on lambdas to help dedukti type check the generated terms ·