|
|
|
|
|
|
by Validark
533 days ago
|
|
|
Very interesting. As a Zig enthusiast I've long suspected that Ada has the ability to express more invariants and types that we will want in Zig (some, like ranges, are planned, last I heard). I'm definitely interested to learn more about Ada. |
|
|