search

snu-sf / paco

A Coq library for parametric coinduction
https://github.com/snu-sf/paco
Other
43 stars 10 forks source link

define n-ary paco using 1-ary paco #13

Closed minkiminki closed 5 years ago

minkiminki commented 6 years ago

This pr reduces compilation time from 75 sec to 13 sec.

jeehoonkang commented 6 years ago

Thanks for the PR. Probably @Lysxia will be also interested?

Related: #12

jeehoonkang commented 6 years ago

I think I couldn't quite get the idea here... Shall we have an offline meeting tomorrow (Monday)?

jeehoonkang commented 6 years ago

I'm closing and re-opening it for triggering a Travis CI run.

jeehoonkang commented 6 years ago

CI test fails: https://travis-ci.org/snu-sf/paco/jobs/406835722#L697-L702

minkiminki commented 6 years ago

I fixed it!!