Idris port of Yampa implementation from Safe Functional Reactive Programming through Dependent Types
BartAdv/idris-yampa
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Idris port of Yampa implementation from Safe Functional Reactive Programming through Dependent Types