remove-x-partial
Update test proofs 2 months ago
Eliminate partiality from parser-typechecker 2 months ago
Eliminate partiality from parser-typechecker 2 months ago

Agent Instructions

Click a suite to see its builds. Example suite for c39107d8 :

https://nix-ci.com/gh:sellout:unison/remove-x-partial/c39107d8a87e01ac32ac6f2db0dd188784463da8

For more instructions, fetch https://nix-ci.com/instructions .