remove ≔ from the language and replace it by :=#1563

Merged

paulcadman merged 5 commits intomainfrom 1465-remove-unicode-assign

Sep 30, 2022

+864-866

Commits on Sep 29, 2022

remove ≔ from the language and replace it by :=

janmasrovira
authored and
lukaszcz
committed
revert accidental changes in juvix input mode

janmasrovira
authored and
lukaszcz
committed
update stdlib submodule

janmasrovira
authored and
lukaszcz
committed
rename ℕ by Nat in the tests and examples

janmasrovira
authored and
lukaszcz
committed
fix shell tests
janmasrovira
committed