1. Stephen Chang Avatar Stephen Chang
  2. Untitled project
  3. macrotypes
  4. Issues

Docs Clarification for turnstile/lang and \succ

Issue #51 closed
Brendan Murphy created an issue

The difference between #lang turnstile and #lang turnstile/lang isn't very clear, and I'm still unsure what \succ does after reading through them

Comments (1)

  2. Log in to comment
Assignee
Type
bug
Priority
trivial
Status
closed
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!