Skip to content

Activity

Deleted branch

m-lindgrendeleted fix-contents • 
on Jan 23

Fix CONTENTS changes in PR UniMath#1827

m-lindgrencreated fix-contents • a5ad34d • 
on Jan 23

Include missing file in package declaration

m-lindgrenpushed 1 commit to fix-missing-file-decl • 96908f3…e26d405 • 
on Jan 23

Derive the types of objects from their categories, instead of definin…

m-lindgrencreated fix-missing-file-decl • 96908f3 • 
on Jan 23

Derive the types of objects from their categories, instead of definin…

m-lindgrenpushed 329 commits to master • 3d2ff12…96908f3 • 
on Jan 23

Make most of Algebra/IteratedBinaryOperations compile.

m-lindgrenpushed 12 commits to type-in-type • 0a1aa1b…5f62afd • 
on Jul 24, 2023

Start removing -type-in-type.

m-lindgrencreated type-in-type • 0a1aa1b • 
on Jul 10, 2023

Update CONTENTS.md

m-lindgrencreated completelyiterativealgebras • 702a397 • 
on Jun 22, 2023

Deleted branch

m-lindgrendeleted ci-disable-grpdhits-dev • 
on May 14, 2023

Temporarily remove GrpdHITs-dev from CI.

m-lindgrencreated ci-disable-grpdhits-dev • 006cba4 • 
on May 14, 2023

Delete trailing whitespace.

m-lindgrencreated DenSinH/master • b2c4d44 • 
on Apr 18, 2023

Potential fix for UniMath#1625.

m-lindgrencreated fix-1625 • 942a6ad • 
on Mar 31, 2023

Change displayed functor notation. (UniMath#1660)

m-lindgrenpushed 7 commits to master • d5d311d…3d2ff12 • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted ci-satellite-dev • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted ci-typetheory-dev • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted ci-coq-master • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted update-ci • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted ci-macos-cache • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted disp-functor-notation • 
on Mar 22, 2023

Deleted branch

m-lindgrendeleted ci-cleanup-after-merge • 
on Mar 22, 2023

Merge branch 'styleguide-naming' of github.com:m-lindgren/UniMath int…

m-lindgrenpushed 3 commits to styleguide-naming • ce2852c…d0d0102 • 
on Mar 22, 2023

[skip ci] Update Style Guide to include notes on CamelCase.

Force push
m-lindgrenforce pushed to styleguide-naming • df7108a…ce2852c • 
on Mar 22, 2023

Use dune in opam.

Force push
m-lindgrenforce pushed to dune-in-opam • 64b4716…9a6fad1 • 
on Mar 20, 2023

Use dune in opam.

m-lindgrencreated dune-in-opam • 64b4716 • 
on Mar 20, 2023

Merge branch 'master' into disp-functor-notation

m-lindgrenpushed 6 commits to disp-functor-notation • 2e964c0…776428d • 
on Mar 20, 2023

[skip ci] Update Style Guide to include notes on CamelCase.

Force push
m-lindgrenforce pushed to styleguide-naming • a2b9afa…df7108a • 
on Mar 20, 2023

[skip ci] Update Style Guide to include notes on CamelCase.

Force push
m-lindgrenforce pushed to styleguide-naming • 37391f0…a2b9afa • 
on Mar 20, 2023

Deleted branch

m-lindgrendeleted update-opam-816 • 
on Mar 20, 2023

[skip ci] Update coq-unimath.opam to require coq 8.16.1.

Force push
m-lindgrenforce pushed to update-opam-816 • 20d59e1…bda7c33 • 
on Mar 20, 2023

Update coq-unimath.opam to require coq 8.16.1.

m-lindgrencreated update-opam-816 • 20d59e1 • 
on Mar 20, 2023