Content deleted Content added
Add more categories |
Add one more category |
||
Line 67:
[[Category:Programming languages]]
[[Category:Statically typed programming languages]]
[[Category:Dependently typed languages]]
|
Add more categories |
Add one more category |
||
Line 67:
[[Category:Programming languages]]
[[Category:Statically typed programming languages]]
[[Category:Dependently typed languages]]
|