Commits at 041cf99d2137bfeb4d489f9a057c27f3cd7446a7

1. 041cf99d Implement natural numbers Anthony Wang authored at 2026-04-05 22:56:41 -0400 Anthony Wang comitted at 2026-04-05 22:56:41 -0400
2. 6ee71b22 Generate Lurk s-expressions from `Term`s Anthony Wang authored at 2026-04-05 11:43:25 -0400 Anthony Wang comitted at 2026-04-05 11:43:25 -0400
3. 320e2c47 Oops use boolean or instead of prop or Anthony Wang authored at 2026-04-05 10:47:03 -0400 Anthony Wang comitted at 2026-04-05 10:47:03 -0400
4. 73d9c43f Better docs, implement negation Anthony Wang authored at 2026-04-05 10:44:51 -0400 Anthony Wang comitted at 2026-04-05 10:44:51 -0400
5. 2b177266 Initial commit Anthony Wang authored at 2026-04-04 20:56:12 -0400 Anthony Wang comitted at 2026-04-04 20:56:12 -0400