Profile directory About Mobile apps
Log in Sign up
Ben Weinstein-Raun @benwr@schelling.pt
Follow

Links for understanding type theory notation:

https://stackoverflow.com/questions/12532552/what-part-of-hindley-milner-do-you-not-understand

https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation

What part of Hindley-Milner do you not understand?

I swear there used to be a T-shirt for sale featuring the immortal words: What part of do you not understand? In my case, the answer would be... all of it! In…

Stack Overflow
August 16, 2023 at 10:13 PM · · 0 · 0 · 1
Sign in to participate in the conversation
Mastodon

a Schelling point for those who seek one

Trending now

#monsterdon46 people talking
541
#silentsunday14 people talking
16
#afdverbotJETZT19 people talking
22

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

schelling.pt

  • About
  • v3.5.3

More…

  • Source code
  • Mobile apps
v3.5.3 · Privacy policy