summaryrefslogtreecommitdiff
path: root/lang/nml/pkg-descr
blob: 193daf1256ba8f0193a537ac02e30d1c7ed2fe84 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
- 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.

- For more information of the nML, please visit
  WWW: http://ropas.kaist.ac.kr/n

- Jaeho Shin
netj@ropas.kaist.ac.kr