Comment Comment by spockz Coming from Haskell, I loved Agda 2 as a dependent type language. Is there any newer or more mainstream language that has added dependent types? parent spockz 8 months ago
