Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@claire you're 100% correct, that's a way better idea - types are great and treating them like they're scary will just make things harder!

but I meant more like... don't introduce types until later in the first lesson

@claire same - I was thinking of doing it like this:

* explain how = works
* introduce a few simple functions
* don't mention types until a bunch later

@chr@cybre.space @claire I can make the CW as long as I want~ https://computerfairi.es/media/kwQcy8gnFWWGycqnC-U

@chr@cybre.space @claire oh? I'll have to test whether it does

@claire oh of course....

unless... I write all 7777 characters in the cw

@claire that's a very long time

@Efi hECK

@Efi you're gonna eat it??