Name		Name	Last commit message	Last commit date
agda		agda
bis		bis
codeb		codeb
h2dsr4ac		h2dsr4ac
mustn't		mustn't
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

58 stars

11 watching

Report repository

Releases

Packages

Contributors

Languages