little-typer-group

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