{9} Newbie tickets (3 matches)
- Tickets that should be easy for newbies to get into.
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #269 | Refactor DataModeSmall to hold DaCons instead of names. | Core Type Checker | 0.2.1 | 0.4.0 | refactor | new | Nov 7, 2012 | |
| #274 | Try to make the load functions take Strings instead of Tokens | Core Parser | 0.2.1 | 0.4.0 | refactor | new | Nov 7, 2012 | |
| #276 | Delay lifting of indices in type environments. | Core Type Checker | 0.2.1 | 0.4.0 | refactor | new | Nov 7, 2012 |
Note:
See TracReports for help on using and creating reports.
