[ prog / sol / mona ]

prog


Help on the Way

89 2022-09-13 18:06

Are small-step semantics somehow connected to continuation-passing style? It reminds me of that.

103


VIP:

do not edit these