<?xml version="1.0"?> <?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="complexity"> <trs> <rules> <rule> <lhs> <funapp> <name>fibs_2#1</name> <arg> <funapp> <name>zipwith_l</name> </funapp> </arg> <arg> <funapp> <name>plus</name> </funapp> </arg> <arg> <funapp> <name>tail_l</name> </funapp> </arg> <arg> <var>x3</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>ConsL</name> <arg> <funapp> <name>S</name> <arg> <funapp> <name>0</name> </funapp> </arg> </funapp> </arg> <arg> <funapp> <name>zipwith_l#3</name> <arg> <funapp> <name>fibs</name> </funapp> </arg> <arg> <funapp> <name>fibs_2</name> <arg> <funapp> <name>zipwith_l</name> </funapp> </arg> <arg> <funapp> <name>plus</name> </funapp> </arg> <arg> <funapp> <name>tail_l</name> </funapp> </arg> </funapp> </arg> </funapp> </arg> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>cond_take_l_n_xs</name> <arg> <funapp> <name>ConsL</name> <arg> <var>x16</var> </arg> <arg> <var>x18</var> </arg> </funapp> </arg> <arg> <funapp> <name>0</name> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>Nil</name>
content may be truncated. 'popout' for larger text window.