diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:57:54 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:57:54 +0200 |
| commit | 58ae983e0dc2e3a9fe7a0fd29c3342289812d3f8 (patch) | |
| tree | 113fb4fe90d10642155af90b30d51bb320e799d1 /examples | |
| parent | 4002b8988c799a904ef1f359d4267ef4ad80cba3 (diff) | |
Add -O2 to ghc-options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/fibo.milch | 7 | ||||
| -rw-r--r-- | examples/test.milch | 10 |
2 files changed, 7 insertions, 10 deletions
diff --git a/examples/fibo.milch b/examples/fibo.milch new file mode 100644 index 0000000..26c74a1 --- /dev/null +++ b/examples/fibo.milch @@ -0,0 +1,7 @@ +(let! fibo (\[n] + (match n + 0 0 + 1 1 + _ (+ (fibo (- n 1)) (fibo (- n 2)))))) + +(fibo 30) diff --git a/examples/test.milch b/examples/test.milch index fd8c379..84193eb 100644 --- a/examples/test.milch +++ b/examples/test.milch @@ -52,16 +52,6 @@ (filter is-even [0 1 2 3 4 5]) -(let! fibo (\[n] - (let! lazy fibo-1 (fibo (- n 1))) - (let! lazy fibo-2 (fibo (- n 2))) - (match n - 0 0 - 1 1 - _ (+ fibo-1 fibo-2)))) - -(fibo 10) - (let! reverse_ (\[v a] (let! lazy x (head v)) (let! lazy xs (tail v)) |