3 ms·
I made some small changes based on your comment https://en.wikipedia.org/wiki/Talk:Dependent_type#Ada2012 https://en.wikipedia.org/wiki/Talk:Dependent_type#Ada2
by mlinksva 2y ago
I made some small changes based on your comment https://en.wikipedia.org/wiki/Talk:Dependent_type#Ada2012 https://en.wikipedia.org/wiki/Talk:Dependent_type#Ada2012 but I hope you or others with more knowledge improve the page! ~~~~