1. Ambrus Kaposi Avatar Ambrus Kaposi
  2. Untitled project
  3. tt-in-tt
  4. Issues

Add more type formers to the setoid model

Issue #7 new
Ambrus Kaposi repo owner created an issue

Add elements of the following records in Setoid.Model:

  • TT.One
  • TT.Empty
  • TT.Sigma
  • TT.Boolean
  • TT.Nat
  • TT.Identity

Comments (1)

  2. Log in to comment
Assignee
Type
enhancement
Priority
major
Status
new
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!