lambda-11235/FarRP lambda-11235/FarRP

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language Idris
  • License
    GNU Lesser Genera...
  • Created over 8 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lambda-11235/FarRP
github

lambda-11235

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An arrowized FRP library for Idris with static safety guarantees.

More Repositories

1

ttyped

A simple dependently typed language based on the Calculus of Constructions.
Haskell
14
star
2

thm

Haskell
2
star
3

lambda-calc

An interpreter for untyped lambda calculus with lazy evaluation.
Haskell
2
star
4

tcp_davis

C
1
star
5

rrootage

A fork of rrootage on linux.
C
1
star
6

sml-parse-comb

A simple parser combinator for Standard ML.
Standard ML
1
star