HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-10-04 10:47:14 +03:00
Code Issues Packages Projects Releases Wiki Activity

Updated _Sidebar (markdown)

MaiaVictor 2019-05-27 21:37:15 -03:00
parent 4b0653e5f2
commit b839868828
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_Sidebar.md

@ -28,5 +28,5 @@
#### Runtime #### Runtime
[0. Formality Interaction Net](https://github.com/moonad/formality-core/wiki/Formality-Interaction-Net-System-(FINS)) [0. Formality Interaction Net](https://github.com/moonad/formality-core/wiki/Formality-Interaction-Net)