[erlang-questions] Announcing Erlang.org Code of Conduct
PAILLEAU Eric
eric.pailleau@REDACTED
Sun Mar 15 21:36:55 CET 2015
Le 15/03/2015 20:38, Éric Pailleau a écrit :
> Yes, sorry for Thierry Coquand.
BTW, it is a bit related to the list.
Coq software is written in Ocaml (functional language ) and Mister
Coquand is working at Göteborg (Sweden) ...
Joe's best example :
let rec factorielle = function
| 0 -> 1
| n -> n * factorielle (n - 1) ;;
@+
More information about the erlang-questions
mailing list