[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Dijkstra's Predicate Transfomer Semantics

12 2021-10-23 17:18 *

>>8 ☡

18

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode