[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Verify that we get 100% precision and recall for equations

Subject: Re: Verify that we get 100% precision and recall for equations
From: Chris Warburton
Date: Tue, 20 Feb 2018 12:59:18 +0000
In-reply-to: <a2372409f08c85fe-0-artemis@nixos>
References: <a2372409f08c85fe-0-artemis@nixos>

Fixed. Looks like we weren't matching lambdas when checking for matching
equations.

References:
- Verify that we get 100% precision and recall for equations
  - From: Chris Warburton

Prev by Date: Verify that we get 100% precision and recall for equations
Next by Date: Re: Unwrap 'as' constructs
Previous by thread: Verify that we get 100% precision and recall for equations
Next by thread: Test whether or not destructors appear in any expression
Index(es):
- Date
- Thread