Add initial treeless -> lambdabox translation #6
carlostomeAnnotations
1 error
|
Compile agda2lambox with nix (agda2lambox)
Process completed with exit code 1.
|