search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

std-lib: Universe polymorphic Data.Colist.finite-or-infinite #965

Open UlfNorell opened 10 years ago

UlfNorell commented 10 years ago

From vitus...@gmail.com on November 16, 2013 03:45:29

Here is a patch to make Data.Colist.finite-or-infinite universe polymorphic.

Attachment: finite-infinite.patch

Original issue: http://code.google.com/p/agda/issues/detail?id=965