[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Dijkstra's Predicate Transfomer Semantics

9 2021-10-23 14:42

>>8
err, something like w \in {w | (wp(S, Q or R))(w)}.

18

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode