[ghthor]

I turn older then f#, it’s been an ML language thing for a while but not sure where it first appeared

[ossopite]

It seems like it originated in the Isabelle proof assistant ML dialect in the mid 90s https://web.archive.org/web/20190217164203/https://blogs.msd...