search

AdaCore / learn

Sources for learn.adacore.com
https://learn.adacore.com
Creative Commons Attribution 4.0 International
93 stars 38 forks source link

Improving introductory paragraph on unbounded strings #1084

Closed gusthoff closed 1 month ago

gusthoff commented 2 months ago

Fix #1065