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

Reorg and documentation #102

Closed williamdemeo closed 3 years ago

williamdemeo commented 3 years ago

This is a long overdue major overhaul.

We now have a Makefile, which was copied from agda-categories (without proper attribution... I should fix that).

The Makefile generates an Everything.agda file that imports all the modules and type-checks everything. It can also generate html documentation.

To do items (related to this PR)

  1. add attribution to top of Makefile
  2. make a branch called gh-pages (or something) and configure github.io hosting of html documentation.
williamdemeo commented 3 years ago

Thanks Jacques!

On Tue, 17 Aug 2021, 20:19 Jacques Carette, @.***> wrote:

@.**** approved this pull request.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ualib/agda-algebras/pull/102#pullrequestreview-732086287, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA25MJDKRVJQH46MWMENIPLT5KRZ7ANCNFSM5CIKC2SA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email .