prog

formally verified Scheme

4 2022-07-13 09:31 *: >>2,3
i can not read <qoc> without a giggle
therein lies my childlike heart
6: VIP:

do not edit these