1. rnml
  2. enamel

Overview

enamel -- a functional language with

  [X] ML-style modules, but streamlined
  [ ] Scheme-style macros, but typed
  [ ] Type-error slicing
  [ ] Anonymous (i.e. first class) record & variant types