4 ms·
There used to be GHC and Rust plugins. I don't know much about building IDE plugins, but I agree it'd be a great use of Herbie.
by pavpanchekha 6y ago
There used to be GHC and Rust plugins. I don't know much about building IDE plugins, but I agree it'd be a great use of Herbie.