13 lines
839 B
Markdown
13 lines
839 B
Markdown
- TODO: update repository URL in tree-sitter-kerolox/package.json
|
|
- TODO: plan out documentation generation
|
|
- TODO: point to generated package documentation
|
|
- TODO: add VSCode extension package
|
|
- TODO: Warren abstract machine compiler for proof-of-concept interpreter?
|
|
- TODO: vet dependency tree
|
|
|
|
# Kerolox
|
|
|
|
**Kerolox** is a programming language for expressing abductive logic problems.
|
|
|
|
While most existing logic systems are targeted towards academics or modeling and verification middleware, Kerolox's main target audience is **non-programmers**. Strong developer tooling, documentation by example, and expressive compiler reports are the means to this end. Kerolox's philosophy towards software is that users are smarter than you think and computers are more powerful than you could imagine. In Kerolox, **all users are power users**.
|