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

Re: Remove 'local datatypes

Subject: Re: Remove 'local datatypes
From: Chris Warburton
Date: Mon, 29 Jan 2018 18:49:56 +0000
In-reply-to: <fa3787e8a923d21d-0-artemis@nixos>
References: <fa3787e8a923d21d-0-artemis@nixos>

This was as simple as putting 'grep -i global' in a pipe

References:
- Remove 'local datatypes
  - From: Chris Warburton

Prev by Date: Re: Skip polyrec, etc. when templating from a sample
Next by Date: Re: "UnequalLengths" error
Previous by thread: Remove 'local datatypes
Next by thread: "Undeclared fact" for nullary definitions
Index(es):
- Date
- Thread