From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Kjetil Matheussen Newsgroups: gmane.lisp.guile.user Subject: Re: Contract programming in Guile Date: Sun, 18 Jul 2021 18:50:02 +0200 Message-ID: References: Reply-To: k.s.matheussen@notam02.no Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34600"; mail-complaints-to="usenet@ciao.gmane.io" To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sun Jul 18 19:47:14 2021 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m5Ask-0008kd-0T for guile-user@m.gmane-mx.org; Sun, 18 Jul 2021 19:47:14 +0200 Original-Received: from localhost ([::1]:36072 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m5Asi-0003o7-1m for guile-user@m.gmane-mx.org; Sun, 18 Jul 2021 13:47:12 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40386) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m59zd-0003oQ-56 for guile-user@gnu.org; Sun, 18 Jul 2021 12:50:17 -0400 Original-Received: from mail-yb1-xb32.google.com ([2607:f8b0:4864:20::b32]:43779) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1m59zb-0002Zh-Ep for guile-user@gnu.org; Sun, 18 Jul 2021 12:50:16 -0400 Original-Received: by mail-yb1-xb32.google.com with SMTP id g5so23726353ybu.10 for ; Sun, 18 Jul 2021 09:50:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:reply-to:from:date:message-id :subject:to:content-transfer-encoding; bh=jygRGdpdLEyrICmlf0qBsGr21kl5u0yI0oGFciZzAU4=; b=mTLz5ozCVO4zmyojZ3x/Xp1N49Q9bbZJLEKYS6ZasvrtOxCJBBvawJLOmblN6lS1bm RqdypiI9N7ZPWClSWECtA8hojVSwGWm50KzrQXka6cIvbminU4XP13mdAIh3pcHsAthK i8r+ryhvhCQBkyCPLPdICFe4JadJIOi4mmHh+dHV+nROdtMwKifT2NIXkULaRpNUTth6 lkuQ+RecFUkpbLu0t/I0ptR9jZOLKLgkkD9VyOLCrqHYbPitGMo+fSswiFSfoihe08y+ lX/LJ+4U2yoOGQRFx+D18BJWp2lmrFhVd//TVpH58jsscNgGJOuib4xy3jLDL+VgpB+S qR8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:reply-to :from:date:message-id:subject:to:content-transfer-encoding; bh=jygRGdpdLEyrICmlf0qBsGr21kl5u0yI0oGFciZzAU4=; b=Z7jS0k2aJXgH6nG5px/kIJpysITfzGk0FSDGKWZTq+f1tzpQEO+RyW4cTsX/+S5+/Y zI83Z75RWGLNQtKb1FKegQtGF7OTFn+AQOZtEDiT4Fyi0V1qnnK9kWcALDq6Pho73ZxO 3HWZ8T4QHaZsUvOOJRGfazg23YNTSDS5XdHYREu7pcJIygCEtyEwyXygSOFG/FSO6Vz+ JB7h7He8soDznlh4iHyD5Osnr7O8X5VNixPDFRAcdV1sxDzfJLqS9ncNPf/sB+nuXO8M EfRSBdoYyYDaCB9My+PVrL9mHzLbgo0EUwsXgLbjgLqL13zBGCg0TYqIl+XhIkowJQ/o ydpw== X-Gm-Message-State: AOAM530hxUv9TOxwvXKhxE5HNh4YrLOqBPl8pq9FVV093NjuBDW+fX0S h5atsAlv856niYEffrhw2wsyh2/DfVwKvi9/o1jXo5LF X-Google-Smtp-Source: ABdhPJyA+3yOg0t7A7vGCRfnhnyGxYPSvQX15NUDq2G5Xrmnsd7Z4I0sEH5InE4rqTPXQuOg3zmAupo6pxPUYeNvf04= X-Received: by 2002:a25:dc50:: with SMTP id y77mr26619668ybe.405.1626627013560; Sun, 18 Jul 2021 09:50:13 -0700 (PDT) In-Reply-To: Received-SPF: pass client-ip=2607:f8b0:4864:20::b32; envelope-from=k.s.matheussen@gmail.com; helo=mail-yb1-xb32.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Sun, 18 Jul 2021 13:46:59 -0400 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:17651 Archived-At: Linus Bj=C3=B6rnstam: > > I wrote this a billion million years ago: https://hg.sr.ht/~bjoli/misc/br= owse/contract.scm?rev=3Dtip > You know you're getting old when people look back on 2017 as a "billion million years ago". :-)