mox@lemmy.sdf.org to Programming@programming.dev · 21 days agoSafe C++safecpp.orgexternal-linkmessage-square35fedilinkarrow-up154arrow-down13
arrow-up151arrow-down1external-linkSafe C++safecpp.orgmox@lemmy.sdf.org to Programming@programming.dev · 21 days agomessage-square35fedilink
minus-squareBatmanAoD@programming.devlinkfedilinkarrow-up2·17 days agoFor what it’s worth, Ada and Spark are listed separately in the Wiki article on dependent typing. Again, though, I’m not a language expert.
For what it’s worth, Ada and Spark are listed separately in the Wiki article on dependent typing. Again, though, I’m not a language expert.