Skip to content

Commit

Permalink
Merge pull request #102 from pyjarrett/master
Browse files Browse the repository at this point in the history
Replace programming-with-ada with ada-lang-io
  • Loading branch information
ohenley authored Feb 17, 2023
2 parents 494a116 + 30b627a commit a9e8885
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan

#### Entry Point
- [learn](https://learn.adacore.com/) - Interactive learning platform designed to teach the Ada and SPARK programming languages.
- [programming-with-ada](https://pyjarrett.github.io/programming-with-ada/) - Anecdotes and summaries from learning Ada 2012.
- [ada-lang-io](https://ada-lang.io) - A community site for Ada.
- [celebrating-ada](https://www.celebratingada.com/) - Ada history key moments.

#### Tutorials
Expand Down

0 comments on commit a9e8885

Please sign in to comment.