today @doenges and i agreed that polarized and bidirectional type systems have good mathfeel
… why is no one talking about the mathfeel …
@chrisamaphone the more I think about it, CHRIS
@lars iykyk 😅