mirror of
https://github.com/anoma/juvix.git
synced 2025-01-06 06:53:33 +03:00
d7ad6915d2
* Changed the valid symbols from inclusvie to exclusive * Add test using the new valid symbols
31 lines
496 B
Plaintext
31 lines
496 B
Plaintext
module Symbols;
|
||
|
||
open import Stdlib.Data.Nat;
|
||
|
||
╘⑽╛ : ℕ;
|
||
╘⑽╛ ≔ suc nine;
|
||
|
||
-- no - function!?
|
||
- : ℕ -> ℕ -> ℕ;
|
||
- ≔ (+);
|
||
|
||
（-） : ℕ -> ℕ -> ℕ;
|
||
（-） ≔ (-);
|
||
|
||
（*） : ℕ -> ℕ -> ℕ;
|
||
（*） ≔ (*);
|
||
|
||
infixl 6 －;
|
||
－ : ℕ -> ℕ -> ℕ;
|
||
－ ≔ （-）;
|
||
|
||
infixl 7 ·;
|
||
· : ℕ -> ℕ -> ℕ;
|
||
· ≔ （*）;
|
||
|
||
（0） : ℕ;
|
||
（0） ≔ ╘⑽╛ － ╘⑽╛ · zero;
|
||
|
||
主功能 : ℕ;
|
||
主功能 ≔ （0）;
|
||
end; |