Skip to content

Latest commit

 

History

History
executable file
·
5 lines (5 loc) · 105 Bytes

categorical-automata.agda-lib

File metadata and controls

executable file
·
5 lines (5 loc) · 105 Bytes