[ prog / sol / mona ]

sol

frontpage - thread list - new thread - preferences - ?

Reflective Mind in Type 1?

11 2021-09-26 05:05 *

>>9
I agree with your observations but disagree with your second to last sentence. Personally my interest is in more effective evaluation, and computation rather than justification.

19

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode