GitHub topics: interactive-algorithms
divipp/frp_agda 📦
Functional Reactive Programming with Agda
Size: 51.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 1
Functional Reactive Programming with Agda
Size: 51.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 1