GitHub - wkolowski/Seminar-Bisimulation-and-Coinduction: Code and slides for my talk presented at the seminar. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
slides		slides
src		src
.envrc		.envrc
.gitignore		.gitignore
default.nix		default.nix
flake.lock		flake.lock
flake.nix		flake.nix
shell.nix		shell.nix

About

Code and slides for my talk presented at the seminar.

topology functional-programming type-theory category-theory induction inductive-types coinduction coinductive-types intuition

Report repository

Releases

No releases published

Packages

Contributors

Languages