diff options
author | Justin Bedo <cu@cua0.org> | 2019-12-18 09:56:08 +1100 |
---|---|---|
committer | Justin Bedo <cu@cua0.org> | 2019-12-18 09:56:29 +1100 |
commit | e3a47b3041961b276a8ec424699bbaf4fa259606 (patch) | |
tree | 9818d6db148c73261888e650aab24123b11e0c2e | |
parent | 8b97c7e8f685dd3c402e172ea15ef9716b529c8e (diff) |
add exec''
-rw-r--r-- | default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix index acf08f9..41ad190 100644 --- a/default.nix +++ b/default.nix @@ -10,6 +10,7 @@ let id = x: x; exec = f: x: y: f x y; exec' = f: exec (_: f) {}; + exec'' = f: exec' (_: f) {}; callBionixE = p: exec (callBionix p); types = callBionix ./lib/types.nix {}; |