Comment on Rhombus 1.1 is now availableparentComments−sn925dA Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).
Comments
A Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).