All Categories → No Category → agda-library

Top 1 agda-library open source projects

A categorical semantics library in Agda.

✭ 16

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

1-1 of 1 agda-library projects