Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
602 B · 26 lines
Nix
123456789101112131415161718192021222324252627{ build-idris-package, fetchFromGitHub, effects, lib,}:build-idris-package { pname = "farrp"; version = "2018-02-13";
idrisDeps = [ effects ];
src = fetchFromGitHub { owner = "lambda-11235"; repo = "FarRP"; rev = "d592957232968743f8862e49d5a8d52e13340444"; sha256 = "1zrf750d7x1cz7kkgcx4ipa87hkg10adwii4qqvz9vpjap7vh7h0"; };
meta = { description = "Arrowized FRP library for Idris with static safety guarantees"; homepage = "https://github.com/lambda-11235/FarRP"; license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; };}