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

Re: Unwrap 'as' constructs

Subject: Re: Unwrap 'as' constructs
From: Chris Warburton
Date: Tue, 20 Feb 2018 13:22:39 +0000
In-reply-to: <c4f9706262bd34e1-0-artemis@nixos>
References: <c4f9706262bd34e1-0-artemis@nixos>

to-expression now unwraps '(as x t)' into 'x'

References:
- Unwrap 'as' constructs
  - From: Chris Warburton

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