argumentcomputer/yatima
View on GitHub ↗ ★ 148 Lean
A zero-knowledge Lean4 compiler and kernel
5 mentions on Hacker News by 3 people: 1 story, 4 comments · first 2021-06-07 · latest 2021-06-08
20082026
-
…for actually visualizing the lambda DAG graphs, since it's got a very nice graphviz integration: https://github.com/yatima-inc/yatima/blob/059b0abccd0ca54b9a... . You can see the output of that here: https://i.redd.it/94zg24fboyv61.png…
comment by jcburnham · 2021-06-08 · in Yatima: A programming language for the decentralized web -
…This issue (on improving the test-suite) is a particularly good starter issue: https://github.com/yatima-inc/yatima/issues/37
comment by jcburnham · 2021-06-08 · in Yatima: A programming language for the decentralized web -
…contributors to use the language we'll need code examples, tutorials, a web repl (it's in progress! https://github.com/yatima-inc/yatima/tree/main/web ), and all that good stuff. 100% agree on that
comment by jcburnham · 2021-06-08 · in Yatima: A programming language for the decentralized web -
…strong" in its theory, but that appears to be the definition of Empty [2]. What am I missing? [0]: https://github.com/yatima-inc/yatima#motivation [1]: https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta... [2]:…
comment by creata · 2021-06-07 · in Yatima: A programming language for the decentralized web