drummyfish/less_retarded_wiki
5
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update

Browse source
This commit is contained in:
Miloslav Ciz 2024-01-12 20:42:29 +01:00
parent 1c29f051c3
commit b7b65310a9
10 changed files with 71 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

5
interaction_net.md
View file

@ -128,5 +128,8 @@ non-termination rule:
'--------------------------'
```
TODO: text representation, compare text representation of interaction nets with grammars?
TODO: text representation, compare text representation of interaction nets with grammars?
## See Also
- [rule 110](rule110.md)