Skip to content

Review of section about fixed-point types#1294

Merged
gusthoff merged 2 commits intoAdaCore:mainfrom
gusthoff:content/advanced_ada/review/numerics/fixed_point_types/20251219
Dec 19, 2025
Merged

Review of section about fixed-point types#1294
gusthoff merged 2 commits intoAdaCore:mainfrom
gusthoff:content/advanced_ada/review/numerics/fixed_point_types/20251219

Commits

Commits on Dec 19, 2025