All Categories → No Category → categorical-semantics

Top 1 categorical-semantics open source projects

A categorical semantics library in Agda.

✭ 16

Agda shell type-theory category-theory categorical-semantics agda-library

1-1 of 1 categorical-semantics projects