Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- val test = DepLambda[NatKind](NatIdentifier("idn1746"), DepLambda[NatKind](NatIdentifier("idn1750"), DepLambda[NatKind](NatIdentifier("idn1751"),
- Lambda(Identifier("ide1"), Lambda(Identifier("ide2"),
- Apply(join,
- Apply(Apply(map, Lambda(Identifier("idη366"),
- Apply(Apply(map, Lambda(Identifier("idη367"),
- Apply(join, Identifier("idη367")))), Identifier("idη366")))),
- Apply(Apply(map, Lambda(Identifier("idη488"),
- Apply(transpose, Identifier("idη488")))),
- Apply(Apply(map, Lambda(Identifier("idη489"),
- Apply(Apply(map, Lambda(Identifier("idη490"),
- Apply(join, Apply(Apply(map, Lambda(Identifier("idη725"),
- Apply(Apply(map, Lambda(Identifier("idη726"),
- Apply(join, Identifier("idη726")))), Identifier("idη725")))),
- Apply(Apply(map, Lambda(Identifier("idη829"),
- Apply(transpose, Identifier("idη829")))),
- Apply(Apply(map, Lambda(Identifier("idη830"),
- Apply(Apply(map, Lambda(Identifier("idη831"),
- Apply(join, Apply(Apply(map, Lambda(Identifier("idη1065"),
- Apply(Apply(map, Lambda(Identifier("idη1066"),
- Apply(join, Identifier("idη1066")))), Identifier("idη1065")))),
- Apply(Apply(map, Lambda(Identifier("idη1169"),
- Apply(transpose, Identifier("idη1169")))),
- Apply(Apply(map, Lambda(Identifier("idη1170"),
- Apply(Apply(map, Lambda(Identifier("idη1171"),
- Apply(Apply(map, Lambda(Identifier("idη1172"),
- Apply(Apply(map, Lambda(Identifier("idη1173"),
- Apply(Apply(Apply(reduce, add), Literal(FloatData(0.0f))),
- Apply(Apply(map,
- Apply(Apply(reduce, add), Literal(FloatData(0.0f)))),
- Apply(DepApply[NatKind](split, 8),
- Apply(Apply(map, Lambda(Identifier("ide7"),
- Apply(Apply(mul,
- Apply(fst, Identifier("ide7"))),
- Apply(snd, Identifier("ide7"))))),
- Identifier("idη1173"))))))),
- Identifier("idη1172")))),
- Identifier("idη1171")))),
- Identifier("idη1170")))),
- Apply(Apply(map, Lambda(Identifier("idη1174"),
- Apply(transpose, Identifier("idη1174")))),
- Apply(Apply(map, Lambda(Identifier("idη1175"),
- Apply(Apply(map, Lambda(Identifier("idη1176"),
- Apply(DepApply[NatKind](split, 8), Identifier("idη1176")))),
- Identifier("idη1175")))),
- Apply(DepApply[NatKind](split, 8), Identifier("idη831")))))))))),
- Identifier("idη830")))),
- Apply(Apply(map, Lambda(Identifier("idη834"),
- Apply(transpose, Identifier("idη834")))),
- Apply(Apply(map, Lambda(Identifier("idη835"),
- Apply(Apply(map, Lambda(Identifier("idη836"),
- Apply(DepApply[NatKind](split, 32), Identifier("idη836")))),
- Identifier("idη835")))),
- Apply(DepApply[NatKind](split, 64), Identifier("idη490")))))))))),
- Identifier("idη489")))),
- Apply(Apply(map, Lambda(Identifier("idη493"),
- Apply(transpose, Identifier("idη493")))),
- Apply(Apply(map, Lambda(Identifier("idη494"),
- Apply(Apply(map, Lambda(Identifier("ide3"),
- Apply(Apply(map, Lambda(Identifier("idη495"),
- Apply(Apply(map, Lambda(Identifier("idη496"),
- Apply(Apply(zip, Identifier("ide3")), Identifier("idη496")))),
- Identifier("idη495")))),
- Apply(DepApply[NatKind](split, 128),
- Apply(transpose, Identifier("ide2")))))), Identifier("idη494")))),
- Apply(DepApply[NatKind](split, 128), Identifier("ide1")))))))))))))
- infer(test)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
