argumentcomputer/introit
View on GitHub ↗ ★ 20 Nix
The Yatima Standard Library
6 mentions on Hacker News by 3 people: 0 stories, 6 comments · first 2021-06-07 · latest 2021-06-08
20082026
-
Our standard library is here! https://github.com/yatima-inc/introit
comment by jcburnham · 2021-06-08 · in Yatima: A programming language for the decentralized web -
…which iirc allows for saying `a == b` when `a` and `b` are of different types. Yatima's Equal type https://github.com/yatima-inc/introit/blob/main/Equal.ya , implements the more standard homogenous/Martin-Löf equality, but this is just a…
comment by jcburnham · 2021-06-08 · in Yatima: A programming language for the decentralized web -
…[1]: https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta... [2]: https://github.com/yatima-inc/introit/blob/main/Empty.ya
comment by creata · 2021-06-07 · in Yatima: A programming language for the decentralized web -
Sure, thanks for the feedback. Our standard library is here: https://github.com/yatima-inc/introit , I'll edit the README to make that more prominent As far as docs and tutorials, we weren't planning on doing a public release for another…
comment by jcburnham · 2021-06-07 · in Yatima: A programming language for the decentralized web -
…t f => f)) -> P self def true : Bool = data λ P t f => t def false : Bool = data λ P t f => f from https://github.com/yatima-inc/introit/blob/main/Pure/Bool.ya
comment by jcburnham · 2021-06-07 · in Yatima: A programming language for the decentralized web -
…in the standard library [0] the definition of the Map type is a function of other types. [0]: https://github.com/yatima-inc/introit/blob/main/Map.ya#L10
comment by nxrabl · 2021-06-07 · in Yatima: A programming language for the decentralized web