Class Struggle

Project information

Analysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.

77 Commits
1 Branch
3 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

November 11, 2019

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:backpack/class-struggle.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/backpack/class-struggle.git