Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bjourne
on April 12, 2021
|
parent
|
context
|
favorite
| on:
Binary Lambda Calculus (2012)
Does someone know where you can find the tromp program? I can't find it anywhere on the site.
tromp
on April 12, 2021
|
next
[–]
It also features prominently on my homepage
https://tromp.github.io/
as an image in a font custom designed to look good on shirts, such as the one I wear in my picture:-)
tromp
on April 12, 2021
|
prev
|
next
[–]
https://www.ioccc.org/2012/tromp/tromp.c
a0-prw
on April 12, 2021
|
prev
[–]
https://tromp.github.io/cl/cl.html
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
