Today, turned mathematical typesetting into a package of #SILE, and documented it. 😊 Math typesetting in mainline SILE soon maybe 🤞
Adding to #SILE something you can’t live without: stretchy parentheses! (and all other vertically stretchable glyphs)
The video (in French) and the slides (in English) of my talk “Automatically Proving Microkernel Security” at RESSI are available on my homepage https://otini.chnik.fr/
I've tried out the new monadic operators in OCaml, it's not bad.
entire code https://gist.github.com/OlivierNicole/4e68b449a3df852b04125fe88343dbda
before/after using the `let*` operator:
Typography dilettante. PhD student in computer science, trying to prove that some programs do not have some bugs. I also like tea, type systems and logic.