Post

Mambi
@gambiconf.dev

Talk "The problem of induction and INSANELY DEPENDENT TYPES" by @TheEduardoRFS As Alonzo Church taught us, functions are data. This talk will show that this is true even with dependent types.

Mambi
@gambiconf.dev

About the speaker: I just a guy who likes to code and write types.

0 reposts1 like

No replies yet.