6 ms·

I found it decent for niche languages like Haskell and Isabelle/HOL. Isabelle is quite challenging, but there is a mid-sized corpus to train on. So I was hopi

by nextos 2y ago

I found it decent for niche languages like Haskell and Isabelle/HOL. Isabelle is quite challenging, but there is a mid-sized corpus to train on. So I was hoping the opposite would be true, but maybe just wishful thinking.