[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Formal Comparison of Interfaces

2 2021-10-30 18:55

Just prove every possible usage of one interface has an equivalent usage in the other.

6

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode