d6
/
modal
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added access flag in README

This commit is contained in:
Devine Lu Linvega 2024-05-10 16:26:40 -07:00
parent 4f03a673cc
commit 72bb13b59d
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -17,6 +17,7 @@ bin/modal examples/hello.modal
-v Print version
-q Quiet mode, no step printing
-p Print summary with refs count
-a Allow files to be imported
-n Infinite mode, no rewrites limit
```

8
examples/tests.modal
View File

@ -93,8 +93,14 @@ abc ?(?x) def = abc (lambda 2/2) test
<> ((?x -> ?y)) (<> ?x ?y)
(nap -> (tap =))
nap tap (inline 1/2) test
nap tap (inline 1/1) test
<> (?x -> ?y) (<> ?x ?y)
fruit_a -> apple
fruit_b -> banana
(apple banana) -> (fruit-salad)
(fruit_a fruit_b) = (fruit-salad) (inline 2/2) test
?(?-) (Undefinition)