Commit 0f9f4222 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Merge branch 'master' of...

Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/wui into typeclasses
parents d4523655 528c9172
-----------------------------------------------------------------------------
--- Solving Su Doku puzzles in Curry with a web-based interface
---
--- Note that this example requires the CLPFD solver provided with PAKCS.
---
--- @author Michael Hanus
--- @version May 2017
-----------------------------------------------------------------------------
......
......@@ -21,7 +21,7 @@
},
{ "src-dir": "examples",
"options": "-v",
"modules": [ "Persons", "sudoku" ]
"modules": [ "Persons" ]
}
],
"source": {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment