 |
Post AveWMzEAIoDfcksCm0 by [email protected] |
 |
More posts by [email protected] |
|
Post #AvWdjaYBMXKMAFHUzQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
It's been bothering me for a while, so I created a Racket extension to refe… |
|
|
|
Post #AvWdjafcurHYXKlRaq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
[Referring to a function parameter by its index.]From uncertain memory, John Ba… |
|
|
|
Post #AvWdjamMVofasDup5k by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@vnikolov @shriramk Yes, similar: Backus' FP also avoided argument naming … |
|
|
|
Post #AveWKeWaIvnSptNMqu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nikhil @vnikolov Yes, the readme discusses de Bruijn and gives an example wher… |
|
|
|
Post #AveWLP6f77zJJ6bpTM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@shriramk racket.sh |
|
|
|
Post #AveWLPD2jP5lctavQ0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@beka_valentine Brilliant. Should have called it that! |
|
|
|
Post #AveWLPKUHj2xzz4s1Q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@beka_valentine Added to README.https://github.com/shriram/lambda-n?tab=readme-… |
|
|
|
Post #AveWMzEAIoDfcksCm0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@shriramk Parameter position notation to solve the problem of paralysis of: par… |
|
|
|
Post #AveWMzKBwP2XvRh1AO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@smurthys Circle of life, karma, ouroboros…that's all metacircularity in … |
|
|
|
Post #AveWNHQscH5M5Oxc5g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@shriramk can you solve variable ordering paralysis too? 😜 |
|
|
|
Post #AveWNHZO6dtIVmwPLs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@apostolis No names, no order, no problems! |
|
|
|
Post #AveWNHgpexqUssQLxI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@apostolis Unless you're referring to ROBDDs. (-: |
