Download forth/Forth.lean from Snapkitty/ai-free: direct link, hf CLI and curl.
- Browser
- Download file 258 Bytes
-
https://huggingface.co/Snapkitty/ai-free/resolve/main/forth/Forth.lean
- Command line
-
hf download hf://Snapkitty/ai-free/forth/Forth.lean
-
curl -L -o Forth.lean https://huggingface.co/Snapkitty/ai-free/resolve/main/forth/Forth.lean
258 Bytes
| import Forth.Semantics | |
| import Forth.Compile | |
| import Forth.OpCorrect | |
| import Forth.Correct | |
| import Forth.Eval | |
| import Forth.Parse | |
| import Forth.Print | |
| import Forth.ParseProps | |
| import Forth.Example | |
| import Forth.TextExample | |
| import Forth.Grammar | |
| import Forth.LoopProps | |