aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-12-24 13:07:27 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-12-24 13:07:27 +0900
commit3e1448d61b25695d6aa20e3623fd47e6a8272dc6 (patch)
tree573f4ed163b0671a85b0290872c4c2a41c539e79
parent7f36d93bb4279deefe34ce1b8e9e3518ea9259c4 (diff)
parent6adf887fddf5dcd1db2dc38b9a19a60b5a883d5d (diff)
downloadinpla-3e1448d61b25695d6aa20e3623fd47e6a8272dc6.tar.gz
inpla-3e1448d61b25695d6aa20e3623fd47e6a8272dc6.zip
Merge branch 'develop'
Diffstat (limited to '')
-rw-r--r--README.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/README.md b/README.md
index f25ecd5..ce75686 100644
--- a/README.md
+++ b/README.md
@@ -980,7 +980,7 @@ In this reduction strategy, only connections that have interface names (thus, li
-# Publications
+## Publications
* [1] Ian Mackie, Shinya Sato,
[*In-place Graph Rewriting with Interaction Nets*](https://arxiv.org/abs/1609.03641), TERMGRAPH 2016, EPTCS 225, pp.15-24, 2016.
* [2] Shinya Sato,
@@ -995,13 +995,13 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se
-# Related Works
+## Related Works
* [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/)
-# License
+## License
Copyright (c) 2021 [Shinya SATO](http://satolab.com/)
Released under the MIT license