Resources related to the cabal solver

Jump to bottom

Danny Navarro edited this page Oct 11, 2015 · 1 revision

This page is for now a stub to consolidate all documentation related to the modular solver.

http://www.well-typed.com/blog/2015/03/qualified-goals/