Snapkitty
/

unlambda-idris-spark

october-2026-drop

lambda-calculus

formal-verification

Model card Files Files and versions

unlambda-idris-spark / docs /unlambda_x5f_ats_x5f_runtime_x5f_architecture.html

Commit History

Oct 10 21 days ago

19:32
October 2026 main drop: mirror from GitHub

SNAPKITTYWEST

Verified signature
d8df231