From 44fbfa6fb960f0dbe5470bf663f0a463cd799bd9 Mon Sep 17 00:00:00 2001
From: Panicz <godek.maciek@gmail.com>
Date: Fri, 24 Feb 2017 19:11:26 +0100
Subject: [PATCH] Adding zeimer.github.io Coq tutorial (Polish) (#2282)

* Update free-programming-books-pl.md

* Adding required blank line

* Removed trailing slash

* Fixing blank line again
---
 free-programming-books-pl.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/free-programming-books-pl.md b/free-programming-books-pl.md
index 6a877fd9..46362b38 100644
--- a/free-programming-books-pl.md
+++ b/free-programming-books-pl.md
@@ -5,6 +5,7 @@
 * [C](#c)
 * [C++](#c-1)
 * [Common Lisp](#common-lisp)
+* [Coq](#coq)
 * [CSS](#css)
 * [Haskell](#haskell)
 * [HTML](#html)
@@ -54,6 +55,11 @@
 * [Kurs programowania w języku Common Lisp](http://jcubic.pl/lisp_tutorial.php)
 
 
+### Coq
+
+* [zeimer.github.io (Programowanie Funkcyjne)](https://zeimer.github.io)
+
+
 ### CSS
 
 * [Moja pierwsza strona internetowa w HTML5 i CSS3](http://ferrante.pl/books/html/)