Geeks
DavidJaz
/
Dynamical
Open Monadic Dependent Dynamical Systems... in Idris
Primary Language
Idris
Dynamical GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
Dynamical
Open Monadic Dependent Dynamical Systems... in Idris