diff options
Diffstat (limited to 'lang/nml/pkg-descr')
-rw-r--r-- | lang/nml/pkg-descr | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lang/nml/pkg-descr b/lang/nml/pkg-descr index 818e3e0f933d..66d07b97b2d7 100644 --- a/lang/nml/pkg-descr +++ b/lang/nml/pkg-descr @@ -7,8 +7,4 @@ nML parser + nML type-checker + nML-to-OCaml translator + the OCaml compiler. -- For more information of the nML, please visit - WWW: http://ropas.snu.ac.kr/n - - -Jaeho Shin <netj@sparcs.kaist.ac.kr> +WWW: http://ropas.snu.ac.kr/n |