I am a senior student and plan to build a continuous integration system
using Racket as my graduation project.
I'm very new to Racket web programming and CI/CD (about CI system I've
already found some great projects to refer to).
I've just gone through [Web Applications in Racket] and
Since Redex can calculate all possible results in the judgment, Can I add
some negative premise to help derive the output? like
#:mode (infer I O)
[(infer A B)
*(not (infer number B)*
(Infer C B)]
I tried to replace bold line
Mail list logo