diff options
| author | Doug Barton <dougb@FreeBSD.org> | 2011-10-24 04:17:37 +0000 |
|---|---|---|
| committer | Doug Barton <dougb@FreeBSD.org> | 2011-10-24 04:17:37 +0000 |
| commit | 2b1dacc8261d51e67831f3fe26a9718fb6605263 (patch) | |
| tree | 282fa3d2a2a91531ed93288d2ca357be81cf267c /lang/nml | |
| parent | 2d493058ebe28f7ab484f209bf5773d15837a891 (diff) | |
Notes
Diffstat (limited to 'lang/nml')
| -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 |