search

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)
https://ualib.github.io/agda-algebras/
Creative Commons Attribution Share Alike 4.0 International
29 stars 7 forks source link

tabulate running times for type-checking modules and definitions #67

Closed williamdemeo closed 3 years ago

williamdemeo commented 3 years ago

Not sure how useful this information is, but it sure seems interesting to me.

williamdemeo commented 3 years ago

I decided this does not belong in master.

JacquesCarette commented 3 years ago

Good decision: generated files should, in general, not be under revision control. The only exceptions are when you want to use 'diff' for testing of text files, and when you submit generated files (like PDFs) and you need to keep a version of the actually-submitted version around.

Having said that, the information was indeed very interesting.

williamdemeo commented 3 years ago

Good advice (as usual). Thank you!

On Wed, Jul 14, 2021 at 2:48 PM Jacques Carette @.***> wrote:

Good decision: generated files should, in general, not be under revision control. The only exceptions are when you want to use 'diff' for testing of text files, and when you submit generated files (like PDFs) and you need to keep a version of the actually-submitted version around.

Having said that, the information was indeed very interesting.

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/ualib/agda-algebras/pull/67#issuecomment-879862169, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA25MJHL6LKNNEKNXU6EZ7TTXWBSRANCNFSM5AJM46SA .