Tools to use Elpi in Lambdapi + type classes#1378
Open
agontard wants to merge 44 commits into
Open
Annotations
1 error
|
make sanity_check
Process completed with exit code 2.
|
background
wait
wait-all
cancel
parallel
Loading