[racket-users] PLT Redex: how to falsify the judgment in define-judgment-form
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 with (side-condition (not (judgment-holds (infer number B, which is disallowed in Redex since B is in the output position. So any standard way to express this intention? more concrete example is in https://github.com/juniorxxue/applicative-intersection-semantics/blob/main/definition.rkt#L94 Regards Xu -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/25e4ec2e-ba34-4a53-8284-37cbac422ae2n%40googlegroups.com.
[racket-users] plan to build a continuous integration system in racket
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 bought [Server: Racket]. Are there any other starter resources or experiences to share about the Racket web programming? Or maybe isn't it a good choice to dive into the web field using Racket? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/3d98a427-f3a7-44d2-ad45-499a1f3cf83c%40googlegroups.com.