Add locally nameless to Lambox; introduce inductive #5
carlostomeAnnotations
1 error
|
Compile agda2lambox with nix (agda2lambox)
Process completed with exit code 1.
|