diff options
Diffstat (limited to 'rust/sample')
| -rw-r--r-- | rust/sample/test.txt | 6 | ||||
| -rw-r--r-- | rust/sample/test_normal.txt | 1 |
2 files changed, 6 insertions, 1 deletions
diff --git a/rust/sample/test.txt b/rust/sample/test.txt index 3cacc0b..76dc68a 100644 --- a/rust/sample/test.txt +++ b/rust/sample/test.txt @@ -1 +1,5 @@ -12
\ No newline at end of file +12 +foo + true + +(x x) diff --git a/rust/sample/test_normal.txt b/rust/sample/test_normal.txt new file mode 100644 index 0000000..00abde9 --- /dev/null +++ b/rust/sample/test_normal.txt @@ -0,0 +1 @@ +((lam x 1) ((lam x (x x)) (lam x (x x)))) |
