EquivLambda.yqls 431 B

12345678910111213
  1. (
  2. #comment
  3. (let config (DataSource 'config))
  4. (let res_sink (DataSink 'result))
  5. (let data (AsList (String 'a) (String 'a)))
  6. (let data1 (Map data (lambda '(x) (Concat x (Concat (String '_) (String '_))))))
  7. (let data2 (Map data (lambda '(y) (Concat y (Concat (String '_) (String '_))))))
  8. (let data (Extend data1 data2))
  9. (let world (Write! world res_sink (Key) data '('('type))))
  10. (let world (Commit! world res_sink))
  11. (return world)
  12. )