nytpu on Nostr: I still think it's really really funny to every once in a while look at the Wikipedia ...

I still think it's really really funny to every once in a while look at the Wikipedia page listing languages supporting dependent types: https://en.wikipedia.org/wiki/Dependent_type#Comparison_of_languages_with_dependent_types

It's tons of nonsensically complex functional languages and theorem provers and… Ada, a random Government Language from 1983.