Hacker News new | past | comments | ask | show | jobs | submit login

Yeah, I used it industrially for a brief period, using it to do theorem proving on hardware descriptions. Pleasing is the right word, especially the clean syntax, close-to-pure functional nature, type signatures and type inference. At the time the tools were immature so it might not have been the best idea, but they've had some time to settle down.

Applications are open for YC Winter 2022

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