erg_parser 0.6.13

The Erg parser
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# Check that a parser can pass the advanced syntax
# 高度な文法をチェックする

# multiple patterns definition
fib 0 = 0
fib 1 = 1
fib(n: Nat): Nat = fib(n-1) + fib(n-2)

# keyword arguments
t = if True:
    then := 1
    else := 2
assert t == 1

# import
math = import "math"
# {*} = "math" # use all
{pi;} = import "math"