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
#7: Add more type formers to the setoid model
enhancement
major
new
Gun Pinyo
2017-02-21
2017-05-11