Implement Pie #50
Description
With condp from #48, we could implement a simple, usable version of Pie as a demo of a type system with minimal dependent typing.
{{ message }}
With condp from #48, we could implement a simple, usable version of Pie as a demo of a type system with minimal dependent typing.