Kartik Chandra

RSS status?

10

It looks like the RSS feed for this book is incomplete.

Hi Jens - I was prototyping a small probabilistic programming language in Snap! and came across some funny behavior. I assume I'm misunderstanding something, but what gives me pause is...

Translating to Hindi gives German menu items

4

Steps to reproduce: 1. Using Safari 14.1.1 on macOS 11.4 load Snap! 6.9.2 via snap.berkeley.edu/run. 2. Click on the gear >> "Language" and select Hindi (हिंदी). 3. Notice that the...

Random idea: plugin to serialize moo lexers to syntax plugins for various editors

2

I did some looking and couldn't find a tool that generated syntax highlighting plugins for Emacs/Vim/TextMate/CodeMirror/Atom/your-favorite-editor-here. It would be neat if you could take an existing moo lexer, maybe add...

Counterexamples for ambiguous grammars?

1

https://www.cs.cornell.edu/andru/papers/cupex/cupex.pdf

LaTeX output

4

Compiling to the `syntax` package would be nice. Free pretty PDFs for BNF and railroad diagrams. Should be easy to do if you study nearley-railroad. http://texdoc.net/texmf-dist/doc/latex/mdwtools/syntax.pdf

Implement DateTime within Ergo

8

This can be done now that we have importing working. Implementing DateTime within Ergo would: 1. Simplify the compiler because we don't have to deal with foreign data 2. Save...

Version tag on .ergo files

3

At some point it might be prudent for everyone to start putting a comment on top of Ergo files saying which version of Ergo they compiled their code with —...

Ergo/ergoc version mismatch?

2

As reported here: https://medium.com/the-blawqchain-project/installing-ergo-c78a5148311c

There are lots of contexts; possibly merge some in the future? Kind of confusing right now.

1

``` $ grep -R -h -o '[a-z]\+\(_context\|_ctxt\)\b' mechanization/ | grep -v 'Binary file' | sort | uniq comp_context comp_ctxt compilation_context eval_context eval_ctxt module_context namespace_ctxt ns_ctxt orig_ctxt repl_context repl_ctxt translation_context ```