on master help sign in
lent
a2ab8d5iko
nock/src/jets.rs+3
@@ -37,6 +37,7 @@ pub fn generate_jets() -> Jets {
37 (127000845647123308421702512578230020206, GULF),
37 (127000845647123308421702512578230020206, GULF),
38 (224124632134128248273067864092142254001, INTO),
38 (224124632134128248273067864092142254001, INTO),
39 (22365719601138689598430859488399820563, JOIN),
39 (22365719601138689598430859488399820563, JOIN),
40+ (211253539934007667533839299235896640130, LENT),
40 ])
41 ])
41}
42}
42
43
@@ -284,3 +285,5 @@ static JOIN: Jet = |_ctx, n| {
284 .map(|x| x.clone()),
285 .map(|x| x.clone()),
285 )
286 )
286};
287};
288+
289+static LENT: Jet = |_ctx, n| Rc::new(Noun::from_u32(n.list_iter().fold(0u32, |l, _| l + 1)));