lhs2TeX-hl 1.2.2 released
Nov 23, 2010 00:00 · 31 words · 1 minute read
Changelog:
- Classes are written to the format file;
- There should be less “ambiguous operator” errors now;
- Removed the Agda dependency as it didn’t do anything with Agda at all.
Changelog: