sforman/Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Minor edits.

Browse Source
This commit is contained in:
sforman
2023-07-24 11:28:45 -07:00
parent f844dbab6c
commit 7cd5943d89
4 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/misc/Document.md
+1 -1
View File
@@ -273,7 +273,7 @@ Which then becomes this:
5 1 >> u sqr u
The interpreter could notice that `5 1 >>` and `u sqr` can proceed in parallel without interfering with each other. The `dipdip` combinator could be written to somehow hint to the interpreter that it should check for this posibility.
The interpreter could notice that `5 1 >>` and `u sqr` can proceed in parallel without interfering with each other. The `dipdip` combinator could be written to somehow hint to the interpreter that it should check for this possibility.
## JIT
docs/misc/neat-talk.txt
+2 -2
View File
@@ -1,8 +1,8 @@
Great talk from Jon Purdy in 2017, he wrote Kitten.
Concatenative Programming: From Ivory to Metal
https://www.youtube.com/watch?v=_IgqJr8jG8M
Concatenative Programming: From Ivory to Metal
Great talk from Jon Purdy in 2017, he wrote Kitten.
"Complete and Easy Bidirectional Typechecking
for Higher-Rank Polymorphism"