Check out my first novel, midnight's simulacra!
Search results
From dankwiki
- * Applicative state transition system (<tt>ast</tt>): <tt>ffp</tt> plus mutable state and coarse-grained operations thereu * <tt>false ≡ λa. λb. b</tt> (note that <tt>false</tt> is ɑ-equivalent to <tt>c<sub>0</sub></tt>!) ...22 KB (3,197 words) - 21:09, 5 August 2011
