Now that I have more of an understanding of why Forth is cool, I'm less inclined to devote the time to learn it. Still, it's a cool language.
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
See https://news.ycombinator.com/item?id=33679360#33684545 for more details
This commit is contained in:
parent
925d66d541
commit
dec906bbc0
1 changed files with 0 additions and 1 deletions
|
@ -10,7 +10,6 @@ type: page
|
||||||
- Idris 2
|
- Idris 2
|
||||||
- Agda
|
- Agda
|
||||||
- Lean
|
- Lean
|
||||||
- Forth
|
|
||||||
- Type theory
|
- Type theory
|
||||||
- Opject capabilities
|
- Opject capabilities
|
||||||
- Emacs
|
- Emacs
|
||||||
|
|
Loading…
Reference in a new issue