How to encode Unit? Char? String?

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

36 stars 3 forks source link

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago

String is a list of char. Char is special case of int.

dannywillems commented 7 years ago

I close because I split the issue.