http://joelburget.com [email protected]
Portland, OR Thinking about ML (previously programming languages / formal reasoning)
Joel Burget
React bindings for Haskell
joelburget
Data-Driven Declarative Documents
Minimal EVM implementation in Rust
A webpack loader for Haskell (!)
javascript lenses
language verification, construction, and analysis
