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

Updated Home (markdown)

MaiaVictor 2019-05-28 08:16:18 -03:00
parent b839868828
commit 2e44adb1ce
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Home.md

@ -18,6 +18,6 @@ Formality-Core is very similar to Rust. The main difference is that Rust mitigat
Here is an brief illustration of the process of compiling a Formality-Core term to our interaction-net runtime, reducing it in parallel, and reading the result:
![FM Interaction Net](https://github.com/moonad/formality-core/raw/master/inet-simulation.gif)
![FM Interaction Net](https://github.com/moonad/formality-core/raw/master/images/inet-simulation.gif)
[Installation >](https://github.com/moonad/formality-core/wiki/Installation)