Repository navigation

Java - #29

Merged

kserrec merged 2 commits into

mainfrom

Aug 10, 2026

Merged

Java#29
kserrec merged 2 commits into
mainfrom
java

Commits on Jul 8, 2026
- fixed church numeral typing so pred works
  
  kserrec
  and
  claude
  committed
  06277bd
Commits on Aug 10, 2026
- add Java test script for CI capture
  kserrec
  committed
  4f39274