Posts tagged with "LaTeX"

• Idris 1.2.0 Released
• Research work done so far
• Writing with Others
• Paper writing: RefTeX to the rescue!
• Representing Speech Sounds (or How To Pronounce My Name — Take One)
• LaTeX, Org-mode, and those weird letters from the European alphabets