This was posted two days ago and has been flagged: https://news.ycombinator.com/item?id=45832954

The website seems to be just AI filler, I guess this is the real GitHub repo: https://github.com/am-kantox/cure-lang

I was curious about the examples but this does not seem promising...

  def sort(list: List(T)): List(T) where Ord(T) =
      match list do
          [] -> []
          [pivot | rest] -> sort(rest)
      end

this was flagged 2 days ago https://news.ycombinator.com/item?id=45832954