[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Support 'lambda' in equation JSON
- Subject: Re: Support 'lambda' in equation JSON
- From: Chris Warburton
- Date: Mon, 26 Feb 2018 00:16:27 +0000
- In-reply-to: <a726113a054f9c84-0-artemis@nixos>
- References: <a726113a054f9c84-0-artemis@nixos>
I don't think there's anything else to do for this, since the only
equation-generating code we have is for QuickSpec which doesn't generate
lambdas.