The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

Dear Coq-club followers,

        if you felt a disturbance in the force lately,  it is
        surely due to the fist Coq Coding Sprint taking place
       in Sophia-Antipolis, Nice!

      Roughly 40 people met to make  Coq a better system,  jump
      start a Coq related project,learn the rooster's internals
     and hopefully have fun doing that.  A massive thanks to all
     of them for their great work and enthusiasm, and to the Coq
    "senior" developers that helped out their young padawans [0]!
    For the ones among you that regret not being there, no worry,
    there will be other occasions in the future.

   For the curious, [1] is a pointer to main wiki page and [2] is a
   pointer to the log filled in by participants with their activity.

  Around 15 pull requests were opened and  some of them already merged,
  some bugs squashed,code cleaned up and documented...robots controlled
 by extracted Haskell software computing with constructive reals;Coq run
 with plugins inside the web a browser via the js_of_ocaml translator...
just to wet  your appetite,  and invite you to join  the party next time!

Best,
--
Enrico Tassi

[0]: http://www.urbandictionary.com/define.php?term=padawan
[1]: https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1
[2]: https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1/log

Dear Coq-club followers,

	if you felt a disturbance in the force lately,  it is
	surely due to the fist Coq Coding Sprint taking place
       in Sophia-Antipolis, Nice!

      Roughly 40 people met to make  Coq a better system,  jump
      start a Coq related project,learn the rooster's internals
     and hopefully have fun doing that.  A massive thanks to all
     of them for their great work and enthusiasm, and to the Coq
    "senior" developers that helped out their young padawans [0]!
    For the ones among you that regret not being there, no worry,
    there will be other occasions in the future.

   For the curious, [1] is a pointer to main wiki page and [2] is a
   pointer to the log filled in by participants with their activity.

  Around 15 pull requests were opened and  some of them already merged,
  some bugs squashed,code cleaned up and documented...robots controlled
 by extracted Haskell software computing with constructive reals;Coq run
 with plugins inside the web a browser via the js_of_ocaml translator...
just to wet  your appetite,  and invite you to join  the party next time!

Best,
-- 
Enrico Tassi
[0]: http://www.urbandictionary.com/define.php?term=padawan
[1]: https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1
[2]: https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1/log