little-typer-group

Branch Chooser Goes Here
Clone URL: https://foundry.remexre.xyz/projects/little-typer-group.git
.gitignore ch1011.pie 6 months ago
ch1011.pie ch1011.pie 6 months ago
ch1213.pie ch1213.pie 6 months ago
ch45.pie ... 6 months ago
ch67.pie ... 6 months ago
ch89.pie ... 6 months ago
cong-replace.pie ... 6 months ago
disjoint.pie Adds disjointness proof for Nats. Thanks, mietek! 6 months ago
function-equality.idr ... 6 months ago