search

AdaCore / learn

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

Adding section on record discriminants #1075

Closed gusthoff closed 1 week ago

gusthoff commented 1 week ago

Thanks a lot for the careful review!