— There's another one also adalang
— That one is russian speaking. So unless you know how to rush B I wouldn't suggest going there.
— Any interesting open source ada based project someone working on ?
— It's part of Matreshka project
— It would be great to get the project url 😊
— Slides about SPARK https://www.reddit.com/r/programming/comments/b0mh7q/building_better_and_safer_programs_using_spark/
Message permanent page
— English only group 😊 Ada on wikibooks
— Good to see more Ada communication channels.
— Why? Ada is unusable language, isn't it?
— Do you use Ada in production?
— Yes. Whole European Air Traffic depends on it.