aboutsummaryrefslogtreecommitdiff
path: root/lang/nml/pkg-descr
blob: 66d07b97b2d7dc1d4904bff4e84792e7945d4877 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
- nML is a dialect/harmony of Standard ML of New Jersey and Objective Caml.
- nML is a higher-order and typed programming language.
- nML does not stand against the C programming convention.

- nML compiler is a compiler of the nML language 
  using the Objective Caml compiler:
    nML parser + nML type-checker +
        nML-to-OCaml translator + the OCaml compiler.

WWW: http://ropas.snu.ac.kr/n