lt4   xtlang


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/examples/contrib/algebraic_data_types.xtm

Implementation

(bind-func lt4
  (lambda ()
    (let ((l1:List{i64}* (Cons 20 (Nil)))
          (l2:List{i64}* (Cons 4 (Nil)))
          (l3 (fmap (lambda (x:i64) (lambda (y:i64) (* x y))) l2)))
      (t: (apply l3 l1) List{i64}*))))


Back to Index

Similar Entries