3 ms·
100%, I’ve been writting: Rust, Haskell and Lean 4 with great success with AI. E.g. https://github.com/typednotes/hale https://github.com/typednotes/hale
by ngrislain 5mo ago
100%, I’ve been writting: Rust, Haskell and Lean 4 with great success with AI. E.g. https://github.com/typednotes/hale https://github.com/typednotes/hale