@SheriefFYI

@VictorTaelin I would be happy to volunteer on this language project

@ElytraMithra @saltedstars It's glorious

@khoiiiind Yeah lmao

@tangled_zans @VictorTaelin Geez that sounds like a good use for my eventual sabbatical leave. Also a good destination for a tap water enthusiast.

@tangled_zans Maybe if you add the haskell infinite type hack it works

@tangled_zans A general solution is cool though

@tangled_zans Haskell datakinds don't work for functions

@tangled_zans The issue is that there are no extant implementations for this case

@tangled_zans It might be as simple as having 2 base kinds (★,☆) where ★ is the usual type kind, and ☆ contains one uninhabited type. Data kinds are church encoded.

@tangled_zans Like, the kind "Bool" is a universe of 2 types 'True and 'False which are uninhabited

@lapwing37082 Approximately 15 zł worth of chromebooks

@Hoskell136263 Yeah. Lists need to be quoted too.

@microsoft_worm Yeah harry gets to have (one) wish granted and it's to change quidditch to run on a time clock

@ViraXVespa that is somehow a strawman of racism

@noncanonicAleae pixel shader + abstract art, immediate nomination

@noncanonicAleae (Transphobes have also never played any of the games)