search

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
37 stars 3 forks source link

let binding functor capitalize letter. #30

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago 
let module List = fun(sig type t end) -> struct ... end