https://dannywillems.github.io [email protected]
LeakIX Mostly Belgium, but often moving If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?
Danny Willems
fun(a : sig type t end) ==> fun(A, ...)
See Church encoding.
See `parser.mly` for `()`.