MagicHaskeller on the Web

(CGI frontend version 0.9.6.4.6 built with GHC-7.6)
Specify a function f by writing a predicate as a boolean-valued expression. You will get functions generalizing the specification.
show functions with unused arguments
Help, examples, etc. in English / in Japanese