no-vert-bar-lang

source code: https://github.com/AlexKnauth/no-vert-bar-lang

1 #lang no-vert-bar

#lang no-vert-bar racket

(define (P-A|B P-A P-B P-B|A)

(* P-B|A (/ P-A P-B)))

(define (|| a b)

(or a b))

(define |0>

(vector-immutable 1 0))

(define |1>

(vector-immutable 0 1))

These all treat the | like it was any other character, so that it doesn’t interfere with how you name your identifiers.

2 #lang no-backslash

#lang no-backslash racket

(define (/\ a b)

(and a b))

(define (\/ a b)

(or a b))