pigworker/TypesWhoSayNi

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

Agda

105 commits

updated Jul 24, 2025

See the code

README

TypesWhoSayNi

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

Contributors

pigworker

105 commits

Similar repos

isovector/thinking-with-types

📖 source material for Thinking with Types

497

dterei/Research-Papers

Collection of various research papers I find interesting

Zephyr1022/knowledge-boundaries

Ty-Chen/Reading-List

My reading list of some good papers

DAJ8112/explore

Repo for various things I keep trying and exploring

haruki-nagami/Graduation-thesis

卒論研究

cnlohr/epaper_projects

160

boomerang-lang/boomerang

The Boomerang Bidirectional Programming Language

Languages

Agda

51.9%

TeX

44.6%

BibTeX Style

3.5%

pigworker/TypesWhoSayNi

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

Agda

105 commits

updated Jul 24, 2025

See the code

README

TypesWhoSayNi

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

Similar repos

isovector/thinking-with-types

📖 source material for Thinking with Types

497

dterei/Research-Papers

Collection of various research papers I find interesting

Zephyr1022/knowledge-boundaries

Ty-Chen/Reading-List

My reading list of some good papers

DAJ8112/explore

Repo for various things I keep trying and exploring

haruki-nagami/Graduation-thesis

卒論研究

cnlohr/epaper_projects

160

boomerang-lang/boomerang

The Boomerang Bidirectional Programming Language

Contributors

pigworker

105 commits

Languages

Agda

51.9%

TeX

44.6%

BibTeX Style

3.5%