diff --git a/free-programming-books.md b/free-programming-books.md index d921252df..2157abc98 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -786,9 +786,11 @@ * [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/html/toc.html) * [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/) + ### CUDA * [OpenCL Programming Guide for CUDA Architecture](http://www.nvidia.com/content/cudazone/download/OpenCL/NVIDIA_OpenCL_ProgrammingGuide.pdf) + ### D * [D Templates Tutorial](https://github.com/PhilippeSigaud/D-templates-tutorial) * [Programming in D](http://ddili.org/ders/d.en/)