Skip to content

Commit

Permalink
Add parser and generator for MLC
Browse files Browse the repository at this point in the history
  • Loading branch information
@kamil-adam
kamil-adam committed May 27, 2023
1 parent b859bd2 commit dea5b9a
Show file tree
Hide file tree
Showing 479 changed files with 238,642 additions and 86 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ cabal.sandbox.config
.stack-work/
cabal.project.local
cabal.project.local~
cabal.project.local*
.HTF/
.ghc.environment.*

Expand All @@ -36,3 +37,4 @@ out/

/stan.html
*.tix
*.log
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/blynn/exp.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
S (K (S I)) (S (K K) I) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I))))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/blynn/factorial.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
S (K (S I I)) (S (S (K S) (S (K K) I)) (K (S I I))) (S (S (K S) (S (S (K S) (S (S (K S) (S (K K) (K (S (S I (S (K K) (K (S (K K) I)))) (K (K I)))))) (K I))) (S (S (K S) (S (K K) (K (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))))))) (S (K K) (K (S (K K) I)))))) (S (S (K S) (S (S (K S) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (S (K S) (S (K K) I)) (K I))))))) (K I))) (S (S (K S) (S (K K) I)) (S (S (K S) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K (S (K (S (K (S I)))))) (S (K (S (K (S (S (K S) (S (K K) I)))))) (S (K (S (K (S (K K))))) (S (K (S (K K))) (S (K K) I))))))))) (K (K (S (K K) I)))))) (K (K (K I))))))) (K I))))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I)))))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/blynn/quote.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/blynn/shallow.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
S I (K I) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)) (S (K (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)))) (S (S (K S) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (K (S (K K) I)))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))))))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (S (K (S (K K))) (S (K K) I)))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (K (S (K K) I))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (K (K I)))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)) (S (K (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)))) (S (S (K S) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (K (S (K K) I)))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))))))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I)))))) (K (S (S (K S) (S (K K) I)) (K I))))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (S (K (S (K K))) (S (K K) I)))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (K (S (K K) I))))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) (K (S (K K) I)))))) (K (K I)))))))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)) (S (K (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (K I))))) (K (S (K K) I)))) (S (S (K S) (S (K K) (K (S (K K) I)))) (K I))))))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/blynn/supriseme-evaluate.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/blynn/supriseme-reduce.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/list/list-of-char.mlc
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/list/list-of-int.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (K I) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (S (K K) I) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (K I) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (S (K K) I) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I)))))) (K (K I))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/list/list-of-nat.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (S (K K) I) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I)) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K (S (S (K S) (S (K K) I)))) (S (S (K S) (S (K (S (K S))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (K K) I)))) (K (S (K K) I))))) (K (K I))) (S (K K) I))))) (K (K I))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/list/list-of-nil.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I)) (K (K I)) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (K (K I)) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (K (K I)) (S (S (K S) (S (K (S (K S))) (S (K (S (K (S I)))) (S (K (S (K K))) (S (K K) I))))) (K (S (K K) I))) (K (K I)) (K (K I))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/list/string-with-define.mlc
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/list/string.mlc
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/lloyd/bool.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/other/prelude.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/other/reverse.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/other/rmk35.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/other/wikipedia.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/mlc/other/zhiayang.mlc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/blynn/exp.slc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
((((S (K (S I))) ((S (K K)) I)) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) ((S (K K)) I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) ((S (K K)) I)))))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/blynn/factorial.slc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
((((S (K ((S I) I))) ((S ((S (K S)) ((S (K K)) I))) (K ((S I) I)))) ((S ((S (K S)) ((S ((S (K S)) ((S ((S (K S)) ((S (K K)) (K ((S ((S I) ((S (K K)) (K ((S (K K)) I))))) (K (K I))))))) (K I)))) ((S ((S (K S)) ((S (K K)) (K ((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))))))) ((S (K K)) (K ((S (K K)) I))))))) ((S ((S (K S)) ((S ((S (K S)) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))) (K I)))) ((S ((S (K S)) ((S (K K)) I))) ((S ((S (K S)) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K (S (K (S (K (S I))))))) ((S (K (S (K (S ((S (K S)) ((S (K K)) I))))))) ((S (K (S (K (S (K K)))))) ((S (K (S (K K)))) ((S (K K)) I)))))))))) (K (K ((S (K K)) I))))))) (K (K (K I)))))))) (K I)))))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) (((S (K (S ((S (K S)) ((S (K K)) I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K ((S (K K)) I)))))) (K (K I)))) ((S (K K)) I))))))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/blynn/quote.slc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/blynn/shallow.slc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(((S I) (K I)) ((((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))) (((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))) ((S (K ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))))) ((S ((S (K S)) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) (K ((S (K K)) I))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) ((S (K (S (K K)))) ((S (K K)) I))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) (K ((S (K K)) I)))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) (K (K I))))))))) ((((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))) (((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))) ((S (K ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))))) ((S ((S (K S)) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) (K ((S (K K)) I))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K (S I))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I))))))) (K ((S ((S (K S)) ((S (K K)) I))) (K I)))))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) ((S (K (S (K K)))) ((S (K K)) I))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) (K ((S (K K)) I)))))))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) (K ((S (K K)) I))))))) (K (K I))))))))) (((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))) ((S (K ((S ((S (K S)) ((S (K (S (K S)))) ((S ((S (K S)) ((S (K (S (K S)))) ((S (K (S (K K)))) ((S (K K)) I))))) (K (K I)))))) (K ((S (K K)) I))))) ((S ((S (K S)) ((S (K K)) (K ((S (K K)) I))))) (K I)))))))
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/blynn/supriseme-evaluate.slc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/blynn/supriseme-reduce.slc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lc/mlc/generator/slc/list/list-of-char.slc
View file

Large diffs are not rendered by default.

Loading

0 comments on commit dea5b9a

Please sign in to comment.