3 ms·
As far as I know Ada doesn't have dependent types.
by tel 12y ago
As far as I know Ada doesn't have dependent types.
- taeric 12y agoApologies, I had thought it was. (This goes to everyone that corrected me on this.) I can only guess that I got confused over reading about Agda at some point. Again, apologies.