We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Idris port of Yampa implementation from Safe Functional Reactive Programming through Dependent Types