Bug Tracker - Show All
Issues
Show Unassigned
Show All
Search Issues
Patches
Show Open
Show All
Search Patches
Help
Roundup docs
To report a bug, please send an email to bugs@darcs.net. (Or log in and click Create New.)
| ID | Creation | Title | Status | |||
|---|---|---|---|---|---|---|
| 487 | 163 months ago | abstract Prim behind a class | accepted | |||
| 40 | 176 months ago | stop using impredicativity | accepted | |||
|
||||||