Dynamical

Open Monadic Dependent Dynamical Systems... in Idris

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
DS		DS
.gitignore		.gitignore
MIT20200305.tex		MIT20200305.tex
README.md		README.md
lens.idr		lens.idr
monadalgebra.idr		monadalgebra.idr
operad.idr		operad.idr
scratch.idr		scratch.idr
system.idr		system.idr

Provide feedback