> Something more declarative might indeed just be to give invariants and let the program find an implementation for it. EDIT: turns out that there kind of is:

> Something more declarative might indeed just be to give invariants and let the program find an implementation for it. EDIT: turns out that there kind of is: http://nautilus.cs.miyazaki-u.ac.jp/cgi-bin/MagicHaskeller.cgi?predicate=f+5+3+%3D+125 http://nautilus.cs.miyazaki-u.ac.jp/cgi-bin/MagicHaskeller.c...