Kartik Chandra
Kartik Chandra
Ah, I see, I was confused because the chapters were listed in the index but did not appear on my RSS reader. Sorry for the trouble. P.S. Your section on...
To me personally, your convention is more "obvious" because it is reminiscent of `sed`-style text replacement.
``` $ npm install -g @accordproject/ergo-cli + @accordproject/[email protected] added 146 packages from 168 contributors and updated 3 packages in 11.11s $ ergo --version 2:35:00 PM - info: Logging initialized. 2018-07-18T18:35:00.934Z...
Syntax proposal: `ergo version "1.2.3"` Semantics proposal: if the version provided is a _prefix_ of `ergo_version` then continue without saying anything. Otherwise, print a warning and then continue.
If we had a "top" concept, then that could be the brand printed in this case. This would also help fix #387 I think.
- [ ] location info for failed `enforce`, inserted automatically during the ergocalculus compilation step
Localization can be implemented as a library, I imagine?
This is a good issue for contributors because it doesn't require any knowledge of compiler internals; all the code would be written in Ergo itself.
So exploring the math behind Vulcan inspired me to write my own theorem prover, which I've been working on for the past couple of months. I tried to extend it...
Oh, boy, you're going to love this, Tim: your tokenizer-based compiler compiler is wrong! ``` $ nearleyc types.ne -o types-2.12.1.js $ npm uninstall -g nearley removed 10 packages in 0.169s...