nrepl-steel
An nREPL server implementation for Steel Scheme www.tomwaddington.dev/steel-helix-first-steps.html
steel-scheme steel nrepl server
Star
Fork
Watch

Commits on main

Tom Waddington
fix: proof info errors test: proof completions and lookup v0.4.0
committed
Tom Waddington
fix: proof errors v0.3.0
committed
Tom Waddington
feat: bind localhost ipv4
committed
Tom Waddington
fix: write port file
committed
Tom Waddington
test: port suite to steel-test
committed
Tom Waddington
chore: callgraph config
committed
Tom Waddington
fix: code review issues
committed
Tom Waddington
fix: version number
committed
Tom Waddington
fix: pedantic clippy
committed
Tom Waddington
fix: lock file
committed
Tom Waddington
fix: intermittently missing docs
committed
Tom Waddington
fix: workflow permissions
committed
Tom Waddington
doc: update readme
committed
Tom Waddington
feat: lookups
committed
Tom Waddington
fix: simplify dir structure
committed
Tom Waddington
implementation
committed
Tom Waddington
init
committed