Giters
mikeshardmind
/
lumi
Replacing Python's type system.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
17
Watchers:
3
Issues:
12
Forks:
1
mikeshardmind/lumi Issues
Not a dead end, but no progress here.
Updated
17 days ago
Intentional LSP violation support.
Updated
2 months ago
Comments count
1
[long term] importlib reload safety
Updated
3 months ago
algebraic effects
Updated
3 months ago
Comments count
1
async coroutine vs generator
Closed
4 months ago
Comments count
3
MVP Checkpoint 1
Updated
4 months ago
transpiler
Updated
4 months ago
language server
Updated
4 months ago
grammar
Updated
4 months ago
TODO: minimal demo
Updated
4 months ago
Step 2: describe python builtins and site module first as an initial minimum needed set of python types.
Updated
4 months ago
Comments count
1
Step 1: formal definitions for base terminology
Updated
4 months ago