I

Intrinsically Recursive

Project information

Agda source code for Intrinsically Correct Algorithms and Recursive Coalgebras

192 Commits
1 Branch
0 Tags

README

Created on

March 09, 2026

Loading