Re:Ada's Dependent Types, and Its Types as a Whole
by Lucretia9 on Sunday December 29, 2024 @10:24AM
(#42540468)
Pretty sure Java in vscode and android studio places block names after }'s because it's hard to read otherwise.
[ Parent
| on HN ]
There are no comments on this comment yet.