With `condp` from #48, we could implement a simple, usable version of Pie as a demo of a type system with minimal dependent typing.
With
condpfrom #48, we could implement a simple, usable version of Pie as a demo of a type system with minimal dependent typing.