[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "UnequalLengths" error
- Subject: Re: "UnequalLengths" error
- From: Chris Warburton
- Date: Tue, 30 Jan 2018 15:21:51 +0000
- In-reply-to: <f0735cd8becf33c3-0-artemis@nixos>
- References: <f0735cd8becf33c3-0-artemis@nixos>
Now we include mutually-recursive functions defined using 'and', and the
error seems to have gone and the test passes.