Commit 45571df

authored

Merge branch 'main' into generalized-reedy

2 parents 85cc216 + 8d102e5 commit 45571dfCopy full SHA for 45571df

32 files changed

+1350

-2453

lines changed

default.nix
package-lock.json
package.json
src
- 1Lab
  - Path.lagda.md
  - Path
    - Groupoid.lagda.md
  - Reflection
    - Record.agda
  - Univalence.lagda.md
- Cat
  - Functor
    - Adjoint
      - AFT.lagda.md
    - Bifunctor
      - Duality.lagda.md
    - Hom
      - Cocompletion.lagda.md
  - Groupoid.lagda.md
  - Instances
    - Functor
      - Duality.lagda.md
    - OFE.lagda.md
    - OFE
      - Complete.lagda.md
    - Product.lagda.md
    - Product
      - Duality.lagda.md
    - Simplex.lagda.md
    - StrictCat.lagda.md
  - Monoidal
    - Opposite.lagda.md
  - Morphism.lagda.md
- Data
  - Id
    - Base.lagda.md
  - Set
    - Projective.lagda.md
- Prim
  - Interval.lagda.md
support
- nix
  - build-shake.nix
  - dep/Agda
    - github.json
  - nixpkgs.nix
  - node
    - node-dependencies.nix
    - node-env.nix
- shake/app
  - Definitions.hs
  - Shake
    - AgdaCompile.hs
    - Markdown
      - Reader.hs
    - Utils.hs

32 files changed

+1350

-2453

lines changed

`‎default.nix‎`

-Original file line number
+Diff line change
     gitMinimal nodePackages.sass nodejs
     # For building diagrams:
 -    poppler_utils our-texlive
 +    poppler-utils our-texlive
   ] ++ (if interactive then [
     sort-imports
   ] else [

Comments

(0)