Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

That's what I felt with MLite, my intro to ML languages (A quick start in Ocaml barely counts, so didn't configuring XMonad back in the day).

It's like declaring math statements, observations and rules as if it were a Math textbook.

https://www.t3x.org/mlite/index.html



Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: