San Francisco

Matthew McQuaid

Advanced
@mmcqd

I like type theory and functional programming languages

pure. A pure type system implemented in OCaml

81

datatt. A dependent type theory with user defined data types

48

higher-standard. Higher kinded polymorphism in SML

15

fibertt. Record patches are cool

6

menby. modular nbe!

3

15-150-Bad-Style-Contest-S20. Church encodings, but it's worse than you think

1

hi-res-google-takeout-geojson. Python

1
7
Apply