diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-05 18:19:27 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-05 18:19:27 +0900 |
| commit | 49960d8950d001a372a0abde670a66ee60026957 (patch) | |
| tree | adad1d5fe428bf0bea151f71ed114223fc246bca /sample/isort.in | |
| parent | 0cf73da9ad035089c66d21021a656e4606796c47 (diff) | |
| download | inpla-49960d8950d001a372a0abde670a66ee60026957.tar.gz inpla-49960d8950d001a372a0abde670a66ee60026957.zip | |
v0.12.0
Diffstat (limited to 'sample/isort.in')
| -rw-r--r-- | sample/isort.in | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/sample/isort.in b/sample/isort.in deleted file mode 100644 index e637055..0000000 --- a/sample/isort.in +++ /dev/null @@ -1,15 +0,0 @@ -// Insertion sort - -// Rules -isort(ret) >< [] => ret~[]; -isort(ret) >< x:xs => insert(ret, x)~cnt, isort(cnt)~xs; - -insert(ret, int x) >< [] => ret~[x]; -insert(ret, int x) >< (int y):ys -| x<=y => ret~(x:y:ys) -| _ => ret~(y:cnt), insert(cnt, x)~ys; - - -// Nets -isort(r)~[3,6,1,9,2]; -r; |