waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: remove fib.uplc file

This commit is contained in:
rvcas 2023-04-13 01:19:34 -04:00 committed by Lucas
parent ccc450659a
commit fdce9f373e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
fib.uplc
View File

@ -1 +0,0 @@
(program 1.0.0 (lam p0 [(builtin iData) [(lam s [(lam g [[g [(builtin unIData) p0]] s]) (force [[s (con bytestring #06)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: validator")] (con unit ())]])])]) [(lam s [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #06)]] (delay (delay (lam p0 (lam s [(lam s (force [[s (con bytestring #00)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: a")] (con unit ())]])])) [(lam s [(lam s [[[(lam op [(lam g [g g]) (lam fold (lam xs (lam a (force [[[(force (builtin ifThenElse)) [(force (builtin nullList)) xs]] (delay a)] (delay [[[fold fold] [(force (builtin tailList)) xs]] [[op a] [(force (builtin headList)) xs]]])]))))]) (lam s (lam e [(lam s [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #01)]] (delay (delay [(lam s [[(lam s (force [[s (con bytestring #03)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: 1_tup")] (con unit ())]])])) s] (lam v0 (lam v1 (force v1)))]) s]))] (delay [[s x] def])])))) [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #00)]] (delay (delay [(lam s [[(lam s (force [[s (con bytestring #03)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: 1_tup")] (con unit ())]])])) s] (lam v0 (lam v1 (force v0)))]) s]))] (delay [[s x] def])])))) [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #03)]] (delay (delay [(lam s (lam __f__ [[__f__ (delay [(lam s (force [[s (con bytestring #01)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: b")] (con unit ())]])])) s])] (delay [(lam s [[(builtin addInteger) [(lam s (force [[s (con bytestring #00)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: a")] (con unit ())]])])) s]] [(lam s (force [[s (con bytestring #01)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: b")] (con unit ())]])])) s]]) s])])) s]))] (delay [[s x] def])])))) s]]]) (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #07)]] (delay (delay e))] (delay [[s x] def])])))]))] [(lam s [[[(lam s (force [[s (con bytestring #04)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: range")] (con unit ())]])])) s] [(lam s (force [[s (con bytestring #05)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: n")] (con unit ())]])])) s]] s]) s]] s]) [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #01)]] (delay (delay [(lam s [[(lam s (force [[s (con bytestring #02)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: 0_tup")] (con unit ())]])])) s] (lam v0 (lam v1 (force v1)))]) s]))] (delay [[s x] def])])))) [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #00)]] (delay (delay [(lam s [[(lam s (force [[s (con bytestring #02)] (delay [(lam _ (error)) [[(force (builtin trace)) (con string "NameError: 0_tup")] (con unit ())]])])) s] (lam v0 (lam v1 (force v0)))]) s]))] (delay [[s x] def])])))) [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #02)]] (delay (delay [(lam s (lam __f__ [[__f__ (delay [(lam s (con integer 0)) s])] (delay [(lam s (con integer 1)) s])])) s]))] (delay [[s x] def])])))) s]]]]) (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #05)]] (delay (delay p0))] (delay [[s x] def])])))]]))))] (delay [[s x] def])])))) [(lam s (lam x (lam def (force [[[(force (builtin ifThenElse)) [[(builtin equalsByteString) x] (con bytestring #04)]] (delay (delay [(lam _ (lam limit (lam _ [[[(lam limit (lam step [(lam g [g g]) (lam f (lam cur (force [[[(force (builtin ifThenElse)) [[(builtin lessThanInteger) cur] limit]] (delay [[(force (builtin mkCons)) cur] [[f f] [[(builtin addInteger) cur] step]]])] (delay (con list<integer> []))])))])) limit] (con integer 1)] (con integer 0)]))) s]))] (delay [[s x] def])])))) s]]) (lam x (lam def def))]]]))