Giters

Aerate / condatis

Verifying Functional Reactive Programs with Side Effects

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

condatis

Verifying Functional Reactive Programs with Side Effects Agda >= 2.5.2 is necessary and sufficient.

About

Verifying Functional Reactive Programs with Side Effects

License:The Unlicense

Languages

Language:Agda 100.0%