3 ms·I meant for a language :). The ones like Kotlin and Idris have no suggestions at all.by _random_ 12y agoI meant for a language :). The ones like Kotlin and Idris have no suggestions at all.