John's Combinatory Logic Playground | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		John's Combinatory Logic Playground (cwi.nl)
		25 points by jacquesm on Nov 21, 2009 \| hide \| past \| favorite \| 3 comments

skorgu on Nov 22, 2009 | [–]

I didn't want to leave this with just a vote. Thanks, this is fascinating and just the kind of thing I love HN for!

jacquesm on Nov 22, 2009 | | [–]

I figured after three days of mostly climate and business related stuff it was high time for some bits...

bediger on Nov 22, 2009 | [–]

You really can't say too many good things about John Tromp's remarkable paper.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact