Tuesday, April 11, 2017

Solving sudokus using Ocaml's type-checker

http://ift.tt/2oUQP99

Submitted April 11, 2017 at 03:06PM by GaAlAs http://ift.tt/2opjQIE Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)