[Agda] Nice programming challenge

Andrea Vezzosi sanzhiyan at gmail.com
Mon May 30 02:18:03 CEST 2011


Here [1] is my solution, it passes the benchmarks but i haven't tried
to prove it correct.
Computing the solutions is instantaneous on my machine, even in ghci,
including f k for h = h3.

[1] https://github.com/Saizan/snippets/blob/master/Search.hs

- Andrea


More information about the Agda mailing list