Hi, Racketeers
Since Redex can calculate all possible results in the judgment, Can I add
some negative premise to help derive the output? like
(define-judgment-form Lambda
#:mode (infer I O)
[(infer A B)
*(not (infer number B)*
-
(Infer C B)]
I tried to replace bold line wit
Hi, all
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
2 matches
Mail list logo