Ada’s Dependent Types, and Its Types as a Whole

Published: December 28, 2024

abstract-business-code-270348

Article URL: https://nytpu.com/gemlog/2024-12-27

Comments URL: https://news.ycombinator.com/item?id=42528302

Points: 1

# Comments: 0