HeVeA : a new Rope
- July 12, 2012
I recently started an internship in Gallium, working on the HeVeA LaTeX to HTML compiler from and with Luc Maranget. I’ll stay here for two months, which is sufficient for having to “blog about it”. In my civil life, I’m interested in about approximately everything concerning language(-related) theory.
My first job for HeVeA was changing the structure used by the Out module. It was yielding the ouput by concatenating together bare strings, thus blowing up the maximal size of strings on 32 bits machines. A data structure fit for concatenations was therefore needed, and a good choice for it is Ropes.
Half-hearted hash table
- July 8, 2012
The story of a stack overflow during Coq extraction
- July 1, 2012