4 ms·
Were you thinking about Idris 2? (https://www.idris-lang.org/idris-2-version-010-released.html https://www.idris-lang.org/idris-2-version-010-released.html) Yo
by hazebooth 6y ago
Were you thinking about Idris 2? (https://www.idris-lang.org/idris-2-version-010-released.html https://www.idris-lang.org/idris-2-version-010-released.html)
You should use the algolia HN search, btw (https://hn.algolia.com https://hn.algolia.com)
- hibikisama 6y agoHi, I did you algolia HN search, but couldn't find it. Sadly, this is not the language I'm looking for, but thank you for sharing it