Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Keywords Status Owner Type Priority
#1696 "light" GHC version for faster builds building time, compiler optimizations, profiling new proposed-project not yet rated
#1699 Verify base using Liquid Haskell to ensure totality of functions base verification Liquid Haskell new proposed-project not yet rated
Note: See TracQuery for help on using queries.