4 ms·
Actually She is written in Haskell too, but that's ok, due to lazy evaluation (of Haskell and of God) mutually recursive definitions pose no problem.
by bmacho 3y ago
Actually She is written in Haskell too, but that's ok, due to lazy evaluation (of Haskell and of God) mutually recursive definitions pose no problem.
- tome 3y agoCan't tell if this is an amusing oblique reference to https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/ https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/ !