Re:Ada's Dependent Types, and Its Types as a Whole
by typ on Saturday December 28, 2024 @08:17AM
(#42530841)
I got used to it after writing a lot of complex SQL. I even developed a preference for uppercase keywords.
[ Parent
| on HN ]
There are no comments on this comment yet.