top | item 43759639 (no title) ossopite | 10 months ago 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... discuss order hn newest No comments yet.
No comments yet.