agda / agda-stdlib

The Agda standard library

Home Page:https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

A distribution tarball beyond github's autogenerated one?

andreasabel opened this issue · comments

The distribution tarballs we link from https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary targeting the github archive contain administrative stuff like .github, .gitignore etc.

I guess it would make sense to publish cleaner tarballs that only contain the relevant files.