Ancestors

Toot

Written by Edwin Brady on 2024-12-03 at 22:17

I used to find working group talks terrifying, because whatever I'd prepared I never knew where the audience would take me. I'm giving one tomorrow morning. This time I'm quite looking forward to finding out where the audience will take me.

It's about the new Scheme based future-Idris core. Or is it? I suppose we'll see when it happens...

=> More informations about this toot | More toots from edwinb@types.pl

Descendants

Written by Jeremy Gibbons on 2024-12-03 at 22:48

@edwinb That's what makes it fun!

=> More informations about this toot | More toots from jer_gib@functional.cafe