(CGI frontend version 0.9.6.8 built with GHC-7.8 at 2019-12-11 03:17:28.917996 UTC) (Identify the backend version)
Specify a function f by writing a predicate as a boolean-valued expression. You will get functions generalizing the specification. Help, examples, etc. in English / in Japanese