Viewing profile — sstewartgallus
sstewartgallus
HN member- Joined
- Wed, Sep 25, 2013, 6:39 AM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About sstewartgallus
No profile information was provided.
Recent public activity
-
comment
Comment #6443036
Because Nock is so simple (just a few substitution rules) I wonder if it'd be reasonable to formalize it in a theorem prover like Coq, or Agda to ensure correctness.