Notation

From Internet Computer Wiki
Revision as of 09:01, 3 November 2022 by David (talk | contribs) (Created page with "== Notation == * <code>v : τ</code> means value <code>v</code> has type <code>τ</code>.")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Notation

  • v : τ means value v has type τ.