1. Doug Burke
  2. swish
  3. Issues

N3 support: @forAll/@forSome handling

Create issue
Issue #6 new
Doug Burke repo owner created an issue

@forSome is parsed but essentially ignored. @forAll is unsupported.

Comments (0)

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