summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Lens.hs
Commit message (Expand)AuthorAge
* version 2.6.1HEAD2.6.1masterAndresSicardRamirez2020-03-16
* version 2.5.42.5.4AndresSicardRamirez2018-06-02
* version 2.5.32.5.3AndresSicardRamirez2017-09-08
* version 2.5.22.5.2AndresSicardRamirez2016-12-22
* version 2.5.12.5.1AndresSicardRamirez2016-04-16
* version 2.4.2.42.4.2.4AndresSicardRamirez2015-09-26
* version 2.4.2.32.4.2.3AndresSicardRamirez2015-05-25
* version 2.4.2.12.4.2.1AndresSicardRamirez2014-11-13