David Udelson dudelson
I hereby claim:
- I am dudelson on github.
- I am dudelson (https://keybase.io/dudelson) on keybase.
- I have a public key ASCFukV2GZLN1gqrjyLuW37sEpa60iK_s-P95FRNz_fKkgo
To claim this, I am signing this object:
|(* Basic demonstration of how to create and use functors,|
|* as well as how they parallel functions *)|
|(* Here are the two (equivalent) ways to define a function *)|
|let f x = x + 1|
|let g = fun x -> x + 1|
|(* The functor has the same two syntaxes as the function, except whereas a|
|* function takes one or more 'expressions' (each of which has a 'type') and|