agda-frp-ltl icon indicating copy to clipboard operation
agda-frp-ltl copied to clipboard

Published 20 hours ago • verified publisher icon agda
→

Metadata

An implementation of Functional Reactive Programming

Results 1 agda-frp-ltl issues
Sort by recently updated
recently updated
newest added

Everything file

Everything.agda would be great.

Fuuzetsu avatar Fuuzetsu

← Metadata

41
Stars
2
Forks
Watchers

Owner

verified publisher icon agda

Metadata

An implementation of Functional Reactive Programming

Back