aboutsummaryrefslogtreecommitdiff
path: root/decl
AgeCommit message (Expand)Author
2019-08-16use packaged type declarationsFlorian Dold
2017-05-24add README for declsFlorian Dold
2017-04-24Reorganize module loading.Florian Dold
2016-11-14re-add decl filesFlorian Dold