Haskell Quiz
A collection of solutions to the Ruby quiz puzzles in simple, elegant Haskell. As you solve the puzzles, please contribute your code, and create a page for the puzzle entries. When creating a new page for your source, be sure to categorise it as code, with a [ [ Category:Code ] ] tag. The Puzzles 1. The Solitaire Cipher 2. Secret Santas 3. Geodesic Dome Faces 5. Sokoban 6. GEDCOM Parser 7. Countdo
Jean-Christophe Filliâtre's home page
Research I'm senior researcher at CNRS. I work in the Laboratoire Méthodes Formelles (CNRS / Université Paris-Saclay / ENS Paris-Saclay / INRIA Saclay - Île-de-France). I'm doing research in deductive program verification. Short bio: I did a PhD from 1995 to 1999 under the supervision of Christine Paulin, regarding verification of imperative programs in the system Rocq (formely know as the Coq pro
1
ランã‚ング
ãŠçŸ¥ã‚‰ã›
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Haskell Quiz/Amazing Mazes/Solution Burton - HaskellWiki
Language Compare F#, Ocaml, Scala, Clojure, Ruby and Haskell - Simple AST example
CodePen - Front End Developer Playground & Code Editor in the Browser
{{#tags}}- {{label}}
{{/tags}}