Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Metafont cleanup #16
I think the Metafont code is in a state where other people could use it. Please try it out, find what I've missed.
This branch includes:
Things I want to add, but I don't think prevent merging:
Compared to the metafont branch, this branch:
All these matrices of Doubles representing angles make me appreciate the Diagrams type system!