Stream: Mtac2

Topic: Combinator for ttac (A->B) -> ttac(B->C) -> ttac (A->C)

view this post on Zulip Michael Soegtrop (Aug 28 2020 at 13:22):

I guess I could write one, but I wonder if there is a combinator with the signature:

ttac (A->B) -> ttac(B->C) -> ttac (A->C)

view this post on Zulip Janno (Aug 28 2020 at 13:47):

I don't think there is. ttac lacks a lot of combinators, I think.

Last updated: Feb 06 2023 at 05:03 UTC