Ancestors

Toot

Written by godspeed you! big animal :niss: :niss: :niss: on 2025-01-14 at 15:51

:bub_flop:

=> More informations about this toot | More toots from niss@chitter.xyz

Descendants

Written by godspeed you! big animal :niss: :niss: :niss: on 2025-01-14 at 15:52

i tried to actually compile my thing with ghc 9.12 but the typechecker plugins havent been updated yet

=> More informations about this toot | More toots from niss@chitter.xyz

Written by godspeed you! big animal :niss: :niss: :niss: on 2025-01-14 at 15:57

i get the motivation to not build any arithmetic reasoning into an already way too complicated compiler when it is possible to do it externally

but i wish it knew how to add 1 to a number

=> More informations about this toot | More toots from niss@chitter.xyz

Written by godspeed you! big animal :niss: :niss: :niss: on 2025-01-14 at 16:00

why are you so stupid!

=> View attached media

=> More informations about this toot | More toots from niss@chitter.xyz

Written by 2️⃣tali on 2025-01-14 at 16:12

@niss :oh_no:

=> More informations about this toot | More toots from iitalics@octodon.social