package info (click to toggle)
agda-stdlib 2.1-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 9,196 kB
  • sloc: haskell: 375; makefile: 32; sh: 28; lisp: 1

Folder: CHANGELOG

d .. (parent)
- - rw-r--r-- 219 v0.01.md
- - rw-r--r-- 336 v0.02.md
- - rw-r--r-- 217 v0.03.md
- - rw-r--r-- 217 v0.04.md
- - rw-r--r-- 218 v0.05.md
- - rw-r--r-- 217 v0.06.md
- - rw-r--r-- 217 v0.07.md
- - rw-r--r-- 504 v0.08.1.md
- - rw-r--r-- 217 v0.08.md
- - rw-r--r-- 920 v0.09.md
- - rw-r--r-- 4,578 v0.10.md
- - rw-r--r-- 599 v0.11.md
- - rw-r--r-- 144 v0.12.md
- - rw-r--r-- 1,812 v0.13.md
- - rw-r--r-- 32,550 v0.14.md
- - rw-r--r-- 30,510 v0.15.md
- - rw-r--r-- 26,845 v0.16.md
- - rw-r--r-- 36,791 v0.17.md
- - rw-r--r-- 229 v1.0.1.md
- - rw-r--r-- 55,475 v1.0.md
- - rw-r--r-- 36,558 v1.1.md
- - rw-r--r-- 34,794 v1.2.md
- - rw-r--r-- 36,640 v1.3.md
- - rw-r--r-- 26,364 v1.4.md
- - rw-r--r-- 30,901 v1.5.md
- - rw-r--r-- 48,399 v1.6.md
- - rw-r--r-- 169 v1.7.1.md
- - rw-r--r-- 328 v1.7.2.md
- - rw-r--r-- 689 v1.7.3.md
- - rw-r--r-- 7,072 v1.7.md
- - rw-r--r-- 170,310 v2.0.md