monoidal

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star1 (1)You must be signed in to star a repository

About

Monoidal categories in Agda

Activity

Stars

1 star

Watchers

0 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

9 Commits

9 Commits

Folders and files

Name		Name	Last commit message	Last commit date
Cubical/Categories/Monoidal		Cubical/Categories/Monoidal
.gitignore		.gitignore
flake.lock		flake.lock
flake.nix		flake.nix
monoidal.agda-lib		monoidal.agda-lib
View all files

About

Monoidal categories in Agda

Activity

Stars

1 star

Watchers

0 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages