yes, please add to C5 (if you find it useful, maybe someone else ;-)
> On Dec 18, 2020, at 4:04 AM, Alaric Snell-Pym
> wrote:
>
> Hi there Kon,
>
> As I was porting something that needed it, I did a quick port of the
> combinators egg to C5... I did it with cond-expand so the same codebase
---
TFPIE 2021 2nd Call for papers
---
https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)
Because of the covid pandemic, the events are online this year.
The
Hi there Kon,
As I was porting something that needed it, I did a quick port of the
combinators egg to C5... I did it with cond-expand so the same codebase
works for C4 and C5 rather than making a new fork.
Please find it attached - if you like it it's all yours, and I'll gladly
add it to