[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Dijkstra's Predicate Transfomer Semantics

4 2021-10-22 22:16 *

By the way Wikipedia has a counter-example, but I have trouble understanding it.

18

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode