cubical-demo icon indicating copy to clipboard operation
cubical-demo copied to clipboard

Published 20 hours ago • verified publisher icon Saizan

Comment the file Primitive.agda

Open andreasabel opened this issue 8 years ago • 0 comments

Could help, for instance, I do not know Partial...

andreasabel avatar Jul 19 '16 19:07 andreasabel