• Mário Pereira's avatar
    Code extraction: work in progress · 0fe17d4d
    Mário Pereira authored
    Added support for translation and printing of lambdas
    in an expression. This can be done via partial application
    or by defining a [fun -> ...] expression explicitly
    0fe17d4d