potan / MUV-dp-example Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Model-Updater-View example using depend types in Idris and Scala.

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
cpp		cpp
haskell		haskell
idris		idris
scala		scala
README.md		README.md

Repository files navigation

MUV-dp-example

Model-Updater-View example using depend types in Idris and Scala.

About

Model-Updater-View example using depend types in Idris and Scala.

Report repository

Releases

No releases published

Packages

No packages published

Languages