@nil I kindda wanna try implementing all the combinatory birds now | Devine Lu Linvega

Devine Lu Linvega's posts Post Back to profile

Devine Lu Linvega

@nil I kindda wanna try implementing all the combinatory birds now

Like 29 Jul 2023 at 15:00 | Open on merveilles.town

2 comments

DELETED

@neauoire smullyan’s aviary if you will. Also is the code you are working on visible online somewhere?

29 Jul 2023 at 16:43 | Open on functional.cafe

Devine Lu Linvega

@nil Yes, what I'm working on specifically is here: https://git.sr.ht/~rabbits/drifblim/tree/main/item/src/drifblim.tal
My notes on smullyan's aviary is here: https://wiki.xxiivv.com/site/logic.html

29 Jul 2023 at 16:46 | Open on merveilles.town