akaposi / tt-in-tt / issues / #8 - Make PSh contravariant and refactor — Bitbucket

Issue #8 new

Ambrus Kaposi repo owner created an issue 2017-02-21

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)

Ambrus Kaposi reporter
- edited description
- changed title to Make PSh contravariant and refactor
- 2017-05-11T08:54:44+00:00
Ambrus Kaposi reporter
- assigned issue to
  
  Gun Pinyo
- 2017-05-11T08:55:12+00:00
Ambrus Kaposi reporter
- edited description
- 2017-05-11T08:56:04+00:00
Log in to comment

Assignee: Gun Pinyo

Type: bug

Priority: major

Status: new

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!