From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tuhs-bounces@minnie.tuhs.org>
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.2 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,DKIM_VALID_EF,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE
	autolearn=ham autolearn_force=no version=3.4.2
Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53])
	by inbox.vuxu.org (OpenSMTPD) with ESMTP id eb2bb3ed
	for <ml@inbox.vuxu.org>;
	Mon, 13 Jan 2020 02:13:40 +0000 (UTC)
Received: by minnie.tuhs.org (Postfix, from userid 112)
	id DB9759BF73; Mon, 13 Jan 2020 12:13:38 +1000 (AEST)
Received: from minnie.tuhs.org (localhost [127.0.0.1])
	by minnie.tuhs.org (Postfix) with ESMTP id ADEA19BD48;
	Mon, 13 Jan 2020 12:13:07 +1000 (AEST)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=tuhs.org; s=dkim;
	t=1578881611; bh=bie+IuWs2hMXVR81cUQ7wnc97PBnJYtGGXT/pt8BKQ8=;
	h=Date:From:To:Subject:List-Id:List-Unsubscribe:List-Archive:
	 List-Post:List-Help:List-Subscribe:From;
	b=GY/+lrgPysnYqm6ug1mEWig7c8vT/+cw3/gyo6yRhOw4+njQCOtK+ia/R604phkO8
	 ZrhoEicHS297Y9tEgimqcq4Qk1/T5aAH8T3zI4xTeEy5iK20w/kQ62F81kT1CQAK0H
	 TBO3twqsN09eOGvPF6aTCoDq9QRAJXktlkaj1oas=
Received: by minnie.tuhs.org (Postfix, from userid 1000)
 id D47E09BD1C; Mon, 13 Jan 2020 12:13:03 +1000 (AEST)
Date: Mon, 13 Jan 2020 12:13:03 +1000
From: Warren Toomey <wkt@tuhs.org>
To: tuhs@tuhs.org
Message-ID: <20200113021303.GA7633@minnie.tuhs.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.9.4 (2018-02-28)
Subject: [TUHS] OK, keep going on type checking
X-BeenThere: tuhs@minnie.tuhs.org
X-Mailman-Version: 2.1.26
Precedence: list
List-Id: The Unix Heritage Society mailing list <tuhs.minnie.tuhs.org>
List-Unsubscribe: <https://minnie.tuhs.org/cgi-bin/mailman/options/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=unsubscribe>
List-Archive: <http://minnie.tuhs.org/pipermail/tuhs/>
List-Post: <mailto:tuhs@minnie.tuhs.org>
List-Help: <mailto:tuhs-request@minnie.tuhs.org?subject=help>
List-Subscribe: <https://minnie.tuhs.org/cgi-bin/mailman/listinfo/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=subscribe>
Errors-To: tuhs-bounces@minnie.tuhs.org
Sender: "TUHS" <tuhs-bounces@minnie.tuhs.org>

All, I've had a few subscribers argue that the type checking
thread was still Unix-related, so feel free to keep posting
here in TUHS. But if it does drift away to non-Unix areas,
please pass it over to COFF.

Thanks & apologies for being too trigger-happy!

Cheers, Warren