Skip to content

Commit

Permalink
extra test
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Dec 16, 2024
1 parent 2ccaf7c commit f847877
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@
int-dot ↦ 42.plus,
int-application ↦ 42(z ↦ ξ.f),
float-dot ↦ 52.1.print,
float-application ↦ 52.1(z ↦ ξ.f),
float-application ↦ 52.1(z ↦ ξ.f, k ↦ ξ.i),
minus ↦ -0,
inline-application ↦ Φ.x(
"Hello", 42, Φ.y("world", 11.plus(12)), 42.5
Expand Down

0 comments on commit f847877

Please sign in to comment.