aboutsummaryrefslogtreecommitdiff
path: root/Data/System.agda
AgeCommit message (Expand)Author
8 daysSimplify System definition and add System functorJacques Comeaux
8 daysSetoid-ify System definitionJacques Comeaux
2025-08-12Add preliminary setoid of discrete dynamical systemsJacques Comeaux