https://github.com/iwilare/categorical-automata
History
Tip revision: 6455e527c0fe2bd436ea8a601b79217288c8971a authored by fouche on 29 May 2024, 08:57:15 UTC
Merge branch 'main' of https://github.com/iwilare/categorical-automata
Tip revision: 6455e52
File Mode Size
AsPullback.agda -rwxr-xr-x 5.9 KB

back to top