search

ohenley / awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
642 stars 72 forks source link

Update README.md #95

Closed streaksu closed 2 years ago

streaksu commented 2 years ago

Update Ironclad's website and description.

ohenley commented 2 years ago

Thanks for the PR!