WIP - Expression Type Hierarchy
14 following
LightNews LightNews
José Valim
José Valim
@josevalim.bsky.social
sabine 🐫🦀 / "use ocaml";
sabine 🐫🦀 / "use ocaml";
@sabine.sh
Martin Escardo
Martin Escardo
@martinescardo.mathstodon.xyz.ap.brid.gy
Haskell programming language
Haskell programming language
@haskell.org
Ariadne Conill 🐰
Ariadne Conill 🐰
@ariadne.space
Daniel Nikpayuk
Daniel Nikpayuk
@nikpayuk.bsky.social
Ed Zitron
Ed Zitron
@edzitron.com
Freya Holmér
Freya Holmér
@freya.bsky.social
Alice ✨
Alice ✨
@welltypedwit.ch
Josh Jersild
Josh Jersild
@joshjers.drilian.com
LambdaDuck
LambdaDuck
@anka213.bsky.social
Dmitrii Kovanikov
Dmitrii Kovanikov
@chshersh.com
Ranjit Mathew
Ranjit Mathew
@rmathew4bs.bsky.social
PLDI
PLDI
@sigplan-pldi.bsky.social