@@ -10,28 +10,28 @@ use this library (each interchangeable with another):
10
10
- ` Expression ` AST variants ` Abs ` , ` App ` , and ` Var `
11
11
- Macros ` abs! ` /` λ! ` , ` app! ` /` γ! ` , and ` var! `
12
12
13
- ``` rust
14
- let id = λ! {x . x};
15
- let one = λ! {f . λ! {x . γ! (f ,x )}};
16
- assert_eq! (1u64 , u64 :: from (app! ({id },{one })));
17
- ```
13
+ ``` rust
14
+ let id = λ! {x . x};
15
+ let one = λ! {f . λ! {x . γ! (f ,x )}};
16
+ assert_eq! (1u64 , u64 :: from (app! ({id },{one })));
17
+ ```
18
18
19
19
- Parsed λ-calculus strings
20
20
21
- ```rust
22
- let parser = ExpressionParser :: new ();
23
- parser . parse (r " \a b.a" );
24
- parser . parse (r " \f x.(f (f x))" );
25
- parser . parse (r " \\\x y z" );
26
- ```
21
+ ``` rust
22
+ let parser = ExpressionParser :: new ();
23
+ parser . parse (r " \a b.a" );
24
+ parser . parse (r " \f x.(f (f x))" );
25
+ parser . parse (r " \\\x y z" );
26
+ ```
27
27
28
28
- Native types: ` u64 ` , ` bool ` , ` fn ` (WIP)
29
29
30
- ```rust
31
- assert_eq! (λ! {f . λ! {x . γ! (f ,γ! (f ,x ))}}, Expression :: from (2u64 ));
32
- assert_eq! (true , bool :: from (λ! {a . λ! {b . a}}));
33
- assert_eq! (1 , λ! {x . x}(1 ));
34
- ```
30
+ ``` rust
31
+ assert_eq! (λ! {f . λ! {x . γ! (f ,γ! (f ,x ))}}, Expression :: from (2u64 ));
32
+ assert_eq! (true , bool :: from (λ! {a . λ! {b . a}}));
33
+ assert_eq! (1 , λ! {x . x}(1 ));
34
+ ```
35
35
36
36
![ ] ( extra/site-demo.gif )
37
37
@@ -68,6 +68,8 @@ First make sure you have `wasm-pack` installed. Then:
68
68
69
69
```
70
70
wasm-pack build
71
+ cd examples/site
72
+ npm run serve
71
73
```
72
74
73
75
[ example/site ] : https://github.com/nixpulvis/lalrpop-lambda/blob/master/examples/site/index.js
0 commit comments