hei411 / eva Public

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

Eva -- A strongly-typed polymorphic strict purely functional reactive programming language with modalities from guarded recursion and linear temporal logic.

BSD-3-Clause license

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 216 Commits
app		app
example		example
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
TODO.md		TODO.md
eva.cabal		eva.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

Eva - Type Systems for Functional Reactive Programming

About

Eva -- A strongly-typed polymorphic strict purely functional reactive programming language with modalities from guarded recursion and linear temporal logic.

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%