Skip to content

feat: an interpreter for HeapLang - #580

Draft
kdvkrs wants to merge 1 commit into
leanprover-community:masterfrom
kdvkrs:hl-interpreter
Draft

feat: an interpreter for HeapLang#580
kdvkrs wants to merge 1 commit into
leanprover-community:masterfrom
kdvkrs:hl-interpreter

feat: an executable interpreter for HeapLang

bc75f49
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Aug 8, 2026 in 5m 4s