Y
Hacker News
new
|
ask
|
show
|
jobs
by
fexl
4286 days ago
OK, I went ahead and revived the "==" syntax for recursive definitions, so you don't have to use '@' (fixpoint) explicitly.
https://github.com/chkoreff/Fexl/commit/57b841cb6c2347cad147...