Skip to content

Commit

Permalink
Add Reducer for LazyK
Browse files Browse the repository at this point in the history
  • Loading branch information
kamil-adam committed May 14, 2024
1 parent ab0f5ac commit 0c419e7
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ class ReducerSpec extends UnitSpec {
reduce(Node(Node(falseVar, number0), number1)).value shouldBe number1
}

"return 0 for S K 0 1" in {
"return 0 for S K + 0" in {
reduce(Node(Node(Node(Leaf(Com(S)), trueVar), succ), number0)).value shouldBe number0
}
}
Expand Down

0 comments on commit 0c419e7

Please sign in to comment.