Commits on Source 7
- 
Gianfranco Costamagna authored
- 
Gianfranco Costamagna authoredUpdate to upstream version '1.1' with Debian dir 81a0004eb6dd01d9d84dcb2db5f802750477855d 
- 
Gianfranco Costamagna authored
- 
Gianfranco Costamagna authored
- 
Gianfranco Costamagna authored
- 
Gianfranco Costamagna authored
- 
Gianfranco Costamagna authored
.gitattributes
0 → 100644
This diff is collapsed.
CHANGELOG/v0.17.md
0 → 100644
This diff is collapsed.
CHANGELOG/v1.0.1.md
0 → 100644
CHANGELOG/v1.0.md
0 → 100644
This diff is collapsed.
README/Axiom.agda
0 → 100644
This diff is collapsed.
README/Data.agda
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
README/Data/Container/Indexed.agda
0 → 100644
This diff is collapsed.
This diff is collapsed.