DavidJaz / Dynamical Public

Notifications You must be signed in to change notification settings
Fork 1
Star 3

Open Monadic Dependent Dynamical Systems... in Idris

3 stars 1 fork Branches Tags Activity

Notifications

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

Repository files navigation

Dynamical

Open Monadic Dependent Dynamical Systems... in Idris

About

Open Monadic Dependent Dynamical Systems... in Idris

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages