GitHub repository: lambda-11235/FarRP
Primary language: Idris
Created: 2016-06-26T03:53:36Z
Description: An arrowized FRP library for Idris with static safety guarantees.