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

Decidability of equality for TT.Core

Issue #2 new
Ambrus Kaposi repo owner created an issue

Prove decidability of equality and create a nice interface to use it when proving things about the syntax (similar to semiring solver).

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!