- edited description
- changed title to Make PSh contravariant and refactor
Make PSh contravariant and refactor
Issue #8
new
- refactor code in
PSh
to useCatsContra
instead ofCats
- 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)
-
reporter -
reporter -
assigned issue to
-
assigned issue to
-
reporter - edited description
- Log in to comment