EbookFoundation
/
free-programming-books
mirror of https://github.com/EbookFoundation/free-programming-books.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge f92b82fcc8 into 35d21565a9

pull/11636/merge
anita-that-chiq 2024-11-20 16:19:02 +00:00 committed by GitHub
parent 35d21565a9 f92b82fcc8
commit 85324516b2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
books/free-programming-books-langs.md
View File

@ -247,7 +247,7 @@ Books on general-purpose programming that don't focus on a specific language are
* [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF)
* [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html)
* [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html)
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html)
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html) (LGPL)
### Agda
@ -372,7 +372,7 @@ Books on general-purpose programming that don't focus on a specific language are
### Autotools
* [Autotools Mythbuster](https://autotools.io/index.html)
* [Autotools Mythbuster](https://autotools.io/index.html)- Diego Elio “Flameeyes” Pettenò (CC BY-NC-SA)
* [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)