Patrick G · Dec 11

Exciting!

G$ · Dec 11

bsky.app/profile/leos...

Martin Janiczek · Dec 11

dude f off I have like 3 implementations of let polymorphism and neither is finished

Alice ✨ · Dec 12

you haven't even show them the best page in that paper yet! ^^

Jared Forsyth · Dec 11

link?