(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
MagicHaskeller/MagicExceller backend server version 0.9.8 built with GHC-8.8 at 2023-08-31 01:46:10.813486053 UTC