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/co

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/57b841cb6c2347cad1473ccf34040a1a007b9e97 https://github.com/chkoreff/Fexl/commit/57b841cb6c2347cad147...