Just before the last week of my internship, my Lean parser in Lean can now parse github.com/leanprover/lea (which is already pretty comprehensive regarding grammar coverage)
Now we just have to make it fast, starting with specialization and a native back end...
Conversation
Still have to create the final presentation; I'm considering ditching LaTeX for that even if there will be some formulas in there. What are people using nowadays for nice and simple presentations? reveal.js?
5
2
I use Racket's slideshow package. Can call to LaTeX if you really need a formula, supports animations, allows embedded GUI widgets for nice demos.
1
4
Can it do syntax highlighting of custom programming langs? That would be super handy.
1
If they're Lispy then the included lib does a good job. If not, then you'd have to build a little lexer.
1
1
At least you get to use a reasonable language to build extensions...
1
1
That'll do it. If you don't want to use the #lang for anything but slides, then this might be overkill relative to just writing some regexps to dump a highlighted picture out of a string.
1
1
Might be good procrastination material for my next talk! At least I'd learn more about Racket's language implementation stuff! Always wanted to have an excuse to learn. 🤔
1
1
Show replies