Examples of what a hypothetical dependently typed language might look like
No issues in this repository yet.