Trying to Find a Post

Question

Hi HN! I created this account because I'm trying to find a post from a few days ago in regards to a programming language like Haskell. I think it had some sort of functional programming aspect to it. I was searching it through the search bar and couldn't find it after going 15 pages deep and checking comments too.

hazebooth · Accepted Answer

Were you thinking about Idris 2? (https://www.idris-lang.org/idris-2-version-010-released.html)You should use the algolia HN search, btw (https://hn.algolia.com)

ColinWright · Answer

Roughly what day, and what search terms have you tried? Can you remember any unusual words? How long was the thread?Was it this one?https://news.ycombinator.com/item?id=22851823

Trying to Find a Post

Were you thinking about Idris 2? (https://www.idris-lang.org/idris-2-version-010-released.html)
You should use the algolia HN search, btw (https://hn.algolia.com)

Roughly what day, and what search terms have you tried? Can you remember any unusual words? How long was the thread?
Was it this one?
https://news.ycombinator.com/item?id=22851823