User talk:146.247.83.25

I do belive the listing of Ada (202x) should be removed on ground on both being uncited and likely arguable. There are dependent-like features of Ada's type system, but I am not finding any reference to an addition of the language that would make it fully so.