Skip to content

Commit

Permalink
Implement LazyK
Browse files Browse the repository at this point in the history
  • Loading branch information
@kamil-adam
kamil-adam committed Jun 21, 2023
1 parent a2475e7 commit a5d6df0
Show file tree
Hide file tree
Showing 422 changed files with 260,204 additions and 678 deletions.
Empty file added .output/actual/lazy/eval/logged/original/irori/echo.logged
View file
Empty file.
1 change: 1 addition & 0 deletions .output/actual/lazy/eval/logged/original/rst76/hello_world.logged
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[Invalid output format. Output should be the list of Church numerals. Succ]
Empty file added .output/actual/lazy/eval/logged/original/rst76/quine.logged
View file
Empty file.
1 change: 1 addition & 0 deletions .output/actual/lazy/eval/logged/original/rst76/ultimate_problem.logged
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[Invalid output format. Output should be the list of Church numerals. App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K Succ))))))))))))))))))))))))))))))))))))))))))))))))]
1 change: 1 addition & 0 deletions .output/actual/lazy/eval/logged/original/rst76/v.logged
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[Invalid output format. Output should be the list of Church numerals. App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K (App K Succ))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))]
Empty file added .output/actual/lazy/eval/output/original/irori/echo.output
View file
Empty file.
1 change: 1 addition & 0 deletions .output/actual/lazy/eval/output/original/rst76/hello_world.output
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@

1 change: 1 addition & 0 deletions .output/actual/lazy/eval/output/original/rst76/quine.output
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
`S````SSSS``SS`SK``SS`SK``S`KSK```S``S`KS``S`K`S`KS``S`K`S`KK``S`K`S`KS``S`K`S``S`KS``S`K`S`KS``S`K`S`K`S`KS``S`K`S``S`KS``S`KK``S`KS``S`KK``S``S``SSS`SK`KK``S`KK``S``S`KSK`K```S`KSK``S`K`S``S``SKK`K```S``SS``SS``SS``SS``SSS``SS`SK``S`KSKK``S`K`S`KK``S`K`S``S`KS``S`KK``S`KSK``S`KK``S`K`S``S`KS``S`KK``S`K`S``S`KSK``S`KSKK``S`KK``S`K`S``S`KS``S`KK``S`KSKK``S``S``S``S``SSS`SK`KK`K``S`K`S``S``SKK`K```SS``SS``SS``S``SSS``S``SS``SS`SK``SS`SK``S`KSKK`K``S`K`S``S``SKK`K```SS``SS```SS```SSSS``SS`SK``S`KSKK``SKK``SKKSKSKSSKKSKSKSSKKSKSKSSSKKSSKKSKSSKSSSSKKSSSSSSSSKKKSSSSKKKSSSSKKSSSSKKKSKKSKSKSSKKSSKKSSKSKKSSKKSKKSKSKSSSKKSSKKSKSSKSSSSKKSKSSKSSSSKKSSSSKKSSKKSSSSSSKKSSKKSSSSKKSSSSKKSSSSKKKSKKSKSKSSKKSSKKSSKSKKSSKKSKKSKSKKSKSSKSSSSSSKKSSKKSSKKSSKKSSKKSKSKSSSKKSSKKSKSKKSSKKSSSKKSSKKSSKSKKSSKKSKSKKSSKKSKSKSSSKKSSKKSKSSSKKSSKKSSKSKKSSKKSKSKKSSKKSSSKKSSKKSSKSKKSSKKSKSKKSSKKSKSSSKKSSKKSKSKKSSKKSSSKKSSKKSSKSKKSSKKSKSKKSSKSKKSSKKSKSKSSSKKSSKKSKSSKSSSSKKSSSSSSKKSSSSKKSSSSKKSSSSKKSSSSKKSSKKKSKKSKSKSSKKSSKKSSKSKKSSKKSKSSSKKSSKKKSKKSKSSSKKSSKKSSKKSKSKKSSKKSKSKKSKSSKSSSSSSKKSSKKSSKKSKSKKSSKKSSSKKSSKKSKSKKSSKKSSSKKSSKKSSKSKKSSKKSSSKKSSKSKKSSKSKKSSKKSSSKKSSKSKKSSKKSSSKKSSKKSSKSKKSSKKSSSKKSSKSKKSSKKSKSKKSSKSKKSSKKSSSKKSSKSKKSSKKSSSKKSSKKSSKKKSKSSSKKSSKKSKSSKSSSSKKSKSSKSSSSKKSSSSSSSSKKKKSSK
1 change: 1 addition & 0 deletions .output/actual/lazy/eval/output/original/rst76/ultimate_problem.output
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
42
1 change: 1 addition & 0 deletions .output/actual/lazy/eval/output/original/rst76/v.output
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
v
1 change: 1 addition & 0 deletions .output/actual/lazy/lambda/original/irori/echo.lambda
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
I
1 change: 1 addition & 0 deletions .output/actual/lazy/lambda/original/irori/hello.lambda
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
K
136 changes: 136 additions & 0 deletions .output/actual/lazy/lambda/original/rst76/delete_blank_lines.lambda
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,136 @@
App
( App ( App S I ) I )
( App
( App S
( App K
( App S
( App
( App S ( App K S ) )
( App
( App S
( App K ( App S I ) )
)
( App
( App S ( App K K ) )
( App ( App S I ) ( App K K ) )
)
)
)
)
)
)
( App
( App S
( App K
( App S ( App K K ) )
)
)
( App
( App S
( App
( App S ( App K S ) )
( App
( App S ( App K K ) )
( App ( App S I ) I )
)
)
)
( App K
( App
( App S
( App
( App S
( App
( App S
( App K
( App
( App
( App
( App S
( App ( App S S ) S )
)
( App
( App ( App S S ) I )
( App ( App S S ) ( App S K ) )
)
)
( App
( App S ( App K S ) ) K
)
)
( App ( App S I )
( App K ( App S K ) )
)
)
)
)
( App
( App S
( App
( App S
( App
( App S
( App
( App S
( App ( App S I ) ( App K K ) )
)
( App K
( App S
( App
( App S ( App K S ) ) K
)
)
)
)
)
( App
( App S
( App ( App S I )
( App K ( App S K ) )
)
) ( App K K )
)
)
)
( App K
( App
( App S
( App K
( App S
( App ( App S I ) ( App K I ) )
)
)
) K
)
)
)
)
( App K
( App
( App S
( App ( App S I )
( App K
( App ( App S I )
( App K ( App S K ) )
)
)
)
)
( App K
( App ( App S S ) I )
)
)
)
)
)
) ( App K K )
)
)
( App ( App S I )
( App K ( App S K ) )
)
)
)
)
)
)
Loading

0 comments on commit a5d6df0

Please sign in to comment.