pigworker / TypesWhoSayNi Public

Notifications You must be signed in to change notification settings
Fork 3
Star 49

being the materials for a paper I have in mind to write about the bidirectional discipline

49 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 100 Commits
agda		agda
bis		bis
codeb		codeb
h2dsr4ac		h2dsr4ac
spls		spls
tex		tex
.gitignore		.gitignore
README.md		README.md

Repository files navigation

TypesWhoSayNi

being the materials for a paper I have in mind to write about the bidirectional discipline

About

being the materials for a paper I have in mind to write about the bidirectional discipline

Report repository

Releases

No releases published

Packages

No packages published

Languages