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.
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
Show replies