Compare commits
5 Commits
f2bb9740e5
...
85324516b2
Author | SHA1 | Date |
---|---|---|
anita-that-chiq | 85324516b2 | |
Ajay Singh | 35d21565a9 | |
anita-that-chiq | f92b82fcc8 | |
anita-that-chiq | d419cb44f6 | |
anita-that-chiq | 73fa89797d |
|
@ -0,0 +1,9 @@
|
||||||
|
<!-- start custom head snippets, customize with your own _includes/head-custom.html file -->
|
||||||
|
|
||||||
|
<!-- Setup Google Analytics -->
|
||||||
|
|
||||||
|
|
||||||
|
<!-- You can set your favicon here -->
|
||||||
|
<link rel="shortcut icon" type="image/x-icon" href="{{ '/favicon.ico' | relative_url }}">
|
||||||
|
|
||||||
|
<!-- end custom head snippets -->
|
|
@ -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)
|
* [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 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)
|
* [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
|
### Agda
|
||||||
|
@ -372,7 +372,7 @@ Books on general-purpose programming that don't focus on a specific language are
|
||||||
|
|
||||||
### Autotools
|
### 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/)
|
* [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)
|
||||||
|
|
||||||
|
|
||||||
|
|
Binary file not shown.
After Width: | Height: | Size: 15 KiB |
Loading…
Reference in New Issue