diff options
Diffstat (limited to 'lang/ott/pkg-descr')
| -rw-r--r-- | lang/ott/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lang/ott/pkg-descr b/lang/ott/pkg-descr index 1ae6f3a4798d..579fc82a1426 100644 --- a/lang/ott/pkg-descr +++ b/lang/ott/pkg-descr @@ -1,5 +1,3 @@ A tool for writing definitions of programming languages and calculi by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens. - -WWW: https://github.com/ott-lang/ott |