fcomm 0.2.0

Functional commitments with Lurk
Documentation
1
2
3
4
5
6
7
(letrec ((sum-aux (lambda (acc nums)
                    (if nums
                        (sum-aux (+ acc (car nums)) (cdr nums))
                        acc)))
         (sum (sum-aux 0)))
        (lambda (nums)
          (sum nums)))