{9} Newbie tickets (4 matches)

  • Tickets that should be easy for newbies to get into.
Ticket Summary Component Version Milestone Type Owner Status Created
#276 Delay lifting of indices in type environments. Core Type Checker 0.2.1 refactor new Nov 7, 2012
#321 Use internal linkage for symbols that aren't exported. Core to Sea Translation 0.3.2 0.4.2 defect new Mar 1, 2014
#329 Don't anonymize exported names Core Transforms 0.3.2 0.4.2 defect new Mar 8, 2014
#307 Shift lazy witness type constructors to Eval fragment Core Type Checker 0.3.1 0.4.2 refactor new Jun 24, 2013
Note: See TracReports for help on using and creating reports.