search

bkc39 / Coq311

A course in Functional Programming and Data Structures
GNU General Public License v2.0
2 stars 0 forks source link

LaTeX Style #6

Closed bkc39 closed 9 years ago

bkc39 commented 9 years ago

Branch to address #5. Do not merge this yet, it is untested. Let me know if there are any other things that we want in these.

bennn commented 9 years ago

Every time I come to this repo it makes me really really happy.

bkc39 commented 9 years ago

you are doing great bruh

bkc39 commented 9 years ago

All your comments above now integrated. Still untested. I plan to test drive and debug these when working on #7 .

bkc39 commented 9 years ago

Ok, I think this one is good to merge preliminary. Give it a look and then go for it bruh.

bkc39 commented 9 years ago

Renamed the branch issue5 to tex-style so it can persist beyond this issue.

bennn commented 9 years ago

ok, but we can still close the pull request right?

bkc39 commented 9 years ago

yea I'm waiting for you to close once you review.