4 ms·
My thoughts exactly. Where are the lambda functions, ADTs, lattices, pre/post conditions for formal derivations, category theory? Boolean logic?
by TuringTest 5y ago
My thoughts exactly. Where are the lambda functions, ADTs, lattices, pre/post conditions for formal derivations, category theory? Boolean logic?
- agumonkey 5y agoYeah it lacks a few layers. But the embedded ~basics are worth it