Outils pour utilisateurs
doc:veille:coq
Différences
Ci-dessous, les différences entre deux révisions de la page.
|
doc:veille:coq [2007/04/26 23:15] lehobey créée |
doc:veille:coq [2007/05/01 21:20] (Version actuelle) lehobey |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| ====== Autour de coq ====== | ====== Autour de coq ====== | ||
| * http://lambdaman.blogspot.com/2007/04/coqs-ness-nesses.html | * http://lambdaman.blogspot.com/2007/04/coqs-ness-nesses.html | ||
| + | * http://www.bononia.it/~zack/blog//posts/2007/04/coq_as_a_geek_toy.html | ||
doc/veille/coq.1177622120.txt.gz · Dernière modification: 2007/04/26 23:15 par lehobey
Outils de la page
