[racket-users] PLT Redex: how to falsify the judgment in define-judgment-form

2021-01-03 Thread Xu Xue
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

[racket-users] plan to build a continuous integration system in racket

2020-02-12 Thread Xu Xue
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