diff options
| author | kevlo <kevlo@FreeBSD.org> | 2002-02-15 07:03:35 +0000 |
|---|---|---|
| committer | kevlo <kevlo@FreeBSD.org> | 2002-02-15 07:03:35 +0000 |
| commit | 4d3d2559f2aa6060d162e050b4dddf2bc00c8b45 (patch) | |
| tree | 2172aa2a404a62a8669e23803786892f6fff9899 /lang/nml/pkg-descr | |
| parent | 3aaeba630e1ab7b0001c7936eee989459434c035 (diff) | |
| download | FreeBSD-ports-4d3d2559f2aa6060d162e050b4dddf2bc00c8b45.zip FreeBSD-ports-4d3d2559f2aa6060d162e050b4dddf2bc00c8b45.tar.gz | |
Update to version 0.92
PR: 34899
Submitted by: MAINTAINER
Diffstat (limited to 'lang/nml/pkg-descr')
| -rw-r--r-- | lang/nml/pkg-descr | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/lang/nml/pkg-descr b/lang/nml/pkg-descr index 53cd708..193daf1 100644 --- a/lang/nml/pkg-descr +++ b/lang/nml/pkg-descr @@ -1,10 +1,14 @@ -nML is a dialect/harmony of Standard ML and OCaml. -nML is a higher-order and typed programming language. -nML compiler system drives the static analysis technologies to the limit. -nML compiler system will embody the result(s) of the LET project. -nML does not stand against the C programming convention. +- 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. -WWW: http://ropas.kaist.ac.kr/n/ +- 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 |
