search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Allow pattern synonyms in parameterised modules #941

Open UlfNorell opened 10 years ago

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 06, 2013 10:58:30

What the title says

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