jmp0x1b/lang To 0x0 Syntax Migration

Use implemented .0x0 syntax documented in docs/syntax.html and

docs/language-spec.html.

File Extension

Old:

file.jmp0x1b

New:

file.0x0

Module

0x0 modules use:

(⊙ main)

Function

0x0 functions use:

(ƒ add
  (∷ (→ I64 I64 I64))
  (cap pure)
  (a b)
  (+ a b))

Imports

0x0 local import:

(↥ "helper.0x0")

0x0 package import:

(↥ "pkg:core-map")

Unsupported Or Deferred

Do not copy old syntax for embedded features, unsupported ADT syntax, actors,

supervision, or distributed replay into current 0x0 examples unless a current

0x0 parser/checker/runtime path proves it.