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

Equivalence with old-style syntax

Issue #6 new
Ambrus Kaposi repo owner created an issue

Show equivalence of our syntax with extrinsically typed syntax, see https://akaposi.github.io/pres_ljubljana.pdf#7.

Comments (0)

  1. 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!