Mastodawn

today @doenges and i agreed that polarized and bidirectional type systems have good mathfeel

… why is no one talking about the mathfeel …

@chrisamaphone no one dares admit about the mathfeel, i think.

@chrisamaphone wish I could pitch my work as having good mathfeel
actually it feels like a lot of pl theory is
"simpler" "intuitive"

@chrisamaphone the more I think about it, CHRIS

@lars iykyk 😅