tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 bifunctors,
5 lib,
6}:
7build-idris-package {
8 pname = "yampa";
9 version = "2016-07-05";
10
11 ipkgName = "idris-yampa";
12 idrisDeps = [ bifunctors ];
13
14 src = fetchFromGitHub {
15 owner = "BartAdv";
16 repo = "idris-yampa";
17 rev = "2120dffb3ea0de906ba2b40080956c900457cf33";
18 sha256 = "0zp495zpbvsagdzrmg9iig652zbm34qc0gdr81x0viblwqxhicx6";
19 };
20
21 meta = {
22 description = "Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types";
23 homepage = "https://github.com/BartAdv/idris-yampa";
24 maintainers = [ lib.maintainers.brainrape ];
25 };
26}