Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: effectfully/Generic
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v0.1.0.1
Choose a base ref
...
head repository: effectfully/Generic
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
  • 2 commits
  • 3 files changed
  • 2 contributors

Commits on Jan 27, 2021

  1. Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    380554b View commit details
  2. Merge pull request #8 from iblech/master

    Adapt to standard-library 1.5 (trivial fix)
    effectfully authored Jan 27, 2021
    Copy the full SHA
    c5ce2a5 View commit details
Showing with 3 additions and 3 deletions.
  1. +1 −1 generic.agda-lib
  2. +1 −1 readme.md
  3. +1 −1 src/Generic/Lib/Data/Sum.agda
2 changes: 1 addition & 1 deletion generic.agda-lib
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
name: generic-0.1
name: generic-0.1.0.2
depend: standard-library
include: src
2 changes: 1 addition & 1 deletion readme.md
Original file line number Diff line number Diff line change
@@ -2,7 +2,7 @@

It's a library for doing generic programming in Agda.

The library is tested with Agda-2.6.1 and likely does not work with other versions of Agda.
The library is tested with Agda-2.6.1 and Agda-2.6.1.2 and likely does not work with other versions of Agda.

# A quick taste

2 changes: 1 addition & 1 deletion src/Generic/Lib/Data/Sum.agda
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
module Generic.Lib.Data.Sum where

open import Data.Sum hiding (swap) renaming (map to smap) hiding (map₁; map₂; assocʳ; assocˡ) public
open import Data.Sum hiding (swap) renaming (map to smap) hiding (map₁; map₂; assocʳ; assocˡ; reduce) public