social.noyu.me

USERS: please add fat pointers for arrays to c
C COMMITTEE: thats too hard. here is a limited form of dependent typing which we think is good. Do you like this

@hikari “a limited form of dependent typing” what the hell did they do–

@hikari oh i see, that second reply didn’t federate to my instance