Skip to content

Commit 38669d2

Browse files
sano-jinsano-jin
authored
Merge pull request #377 from lmntal/fix/link-in-readme
update link in README
2 parents e02db82 + c4a7a72 commit 38669d2

2 files changed

Lines changed: 2 additions & 4 deletions

File tree

‎README.md‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
# SLIM - Slim LMNtal IMprementation
22

3-
_Every dinosaur has a time when he or she is a small, tiny child..._
4-
53
This is a runtime and a model checker for the
6-
[LMNtal (pronounced "elemental")](https://www.ueda.info.waseda.ac.jp/lmntal) language.
4+
[LMNtal (pronounced "elemental")](https://github.com/lmntal/lmntal-compiler/wiki) language.
75

86
## Getting started
97

‎VERSION‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
2.8.0
2-
74de374e
2+
b2728a93

0 commit comments

Comments
 (0)