Eole
Languages and libraries
lambda calculus evaluator
SHOW HN2019
106points
9comments
#457of 2,195 in 2019
Top 21%of 2019 by points
How HN took it
QuietFewer than 5 comments about the project
0 positive, 1 neutral or asking, 0 mixed, 0 critical, out of 1 comments about the project.
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
Objections
Optimality and soundness not yet proven; counter-examples sought
From 1 comment
Did you demonstrate that your trick is sound and optimal? Optimal reduction is a tricky beast and you might need to use a very high order function to find a counterexample.
danharaj on HN
Requests
Demonstrate that the reduction is sound and optimal
From 1 comment
Did you demonstrate that your trick is sound and optimal? Optimal reduction is a tricky beast and you might need to use a very high order function to find a counterexample.
danharaj on HN
Questions
Does it support monads?
From 1 comment
Does it have monads?
voldacar on HN
Alternatives named
Formality
From 1 comment
I wanted to point you to two almost similar efforts [0] [1] then I found your post [2]. You may be interested also in [3]. [0] https://github.com/moonad/Formality [1]…
xorand on HN
chemlambda
From 1 comment
I wanted to point you to two almost similar efforts [0] [1] then I found your post [2]. You may be interested also in [3]. [0] https://github.com/moonad/Formality [1]…
xorand on HN