Snapkitty
/

unlambda-idris-spark

october-2026-drop

lambda-calculus

formal-verification

Model card Files Files and versions

unlambda-idris-spark / spec /ats-runtime-architecture.md

Commit History

Oct 10 21 days ago

19:32
October 2026 main drop: mirror from GitHub

SNAPKITTYWEST

Verified signature
d8df231