Make PSh contravariant and refactor

Issue #8 new
Ambrus Kaposi repo owner created an issue
  • refactor code in PSh to use CatsContra instead of Cats
  • also refactor it to match the new style models: create files corresponding to TT.Decl, TT.Core, TT.Func etc.
  • extend it with new type formers

Comments (3)

  1. Log in to comment