(CGI frontend version 0.9.8 built with GHC-8.8 at 2022-09-21 21:55:56.79198699 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