Ambrus Kaposi
Untitled project
tt-in-tt
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–2 of 2)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#8: Make PSh contravariant and refactor
bug
major
new
Gun Pinyo
2017-02-21
2017-05-11
#9: Define eliminators for renamings
bug
major
new
2017-02-21
2017-02-21