sighingnow/intuition-plugin
An experiment on applying automated type-level equation reasoning techniques to guiding type normalization of GHC.
Stars: 2Language: Haskell
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubAn experiment on applying automated type-level equation reasoning techniques to guiding type normalization of GHC.