Skip to main content
9 events
when toggle format what by license comment
Nov 21, 2022 at 17:16 history edited mmachenry CC BY-SA 4.0
added 378 characters in body
Nov 21, 2022 at 17:11 comment added mmachenry Oh! Yes I suppose that works. Well done.
Nov 11, 2022 at 23:56 comment added Soup Girl I use z to stand for some identifier. What I mean is you could replace (λλλ λλλλ) with (λλλ((λ(λλ)λλ)λλλλ))
Sep 27, 2022 at 14:07 comment added mmachenry @SoupGirl but haven't you just exchanged space for z and it's still 4 distinct characters?
Sep 26, 2022 at 5:15 comment added Soup Girl You can remove the space character by replacing any identifier z being passed as an argument with ((λ(λλ)λλ)z).
Feb 24, 2017 at 20:43 history edited mmachenry CC BY-SA 3.0
added 9 characters in body
Feb 24, 2017 at 16:50 history edited mmachenry CC BY-SA 3.0
deleted 4 characters in body
Feb 24, 2017 at 15:47 history edited mmachenry CC BY-SA 3.0
deleted 7 characters in body
Feb 24, 2017 at 15:38 history answered mmachenry CC BY-SA 3.0