search

mikeshulman / Coq-HoTT

Homotopy type theory
http://homotopytypetheory.org/
Other
12 stars 4 forks source link

fixed order to be more consistent. left right up down #6

Closed Alizter closed 5 years ago

Alizter commented 5 years ago

I made a small mistake with the order. It seems you've gone for left right up down but I did something else. I only noticed when I started using it.

I have made another pull request.

Alizter commented 5 years ago

Actually I think I have confused myself more. Let me think about this quickly

Alizter commented 5 years ago

Yep yep this is definitely the right order now. We can merge.

mikeshulman commented 5 years ago

Ok, I'll take your word for it.