From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noah Lavine Newsgroups: gmane.lisp.guile.devel Subject: Re: guile-unify -> guile-log Date: Wed, 21 Mar 2012 18:01:49 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1332367322 18643 80.91.229.3 (21 Mar 2012 22:02:02 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 21 Mar 2012 22:02:02 +0000 (UTC) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Mar 21 23:02:01 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SATbU-0007Tb-8Z for guile-devel@m.gmane.org; Wed, 21 Mar 2012 23:02:00 +0100 Original-Received: from localhost ([::1]:47265 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SATbT-000812-Kw for guile-devel@m.gmane.org; Wed, 21 Mar 2012 18:01:59 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:59784) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SATbQ-00080V-4u for guile-devel@gnu.org; Wed, 21 Mar 2012 18:01:57 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SATbN-0003mg-Gp for guile-devel@gnu.org; Wed, 21 Mar 2012 18:01:55 -0400 Original-Received: from mail-iy0-f169.google.com ([209.85.210.169]:62660) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SATbN-0003lG-AW for guile-devel@gnu.org; Wed, 21 Mar 2012 18:01:53 -0400 Original-Received: by iajr24 with SMTP id r24so2635700iaj.0 for ; Wed, 21 Mar 2012 15:01:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=rj38ZYjRcLa7O0hdS/q8RJ4Xql+RLeP+Aj9KqiWEnyM=; b=0JuroTA66U3kuLYntxEuXrQQVlSSRklAW2ZPTj0OO2wzs55y8qQOZndXpmDvlJZSch sbh/Fhg9NGs7yVNySUJV6shuyQQ8+KsFJdKgDtPucswfLW3rCLxQDKnhK+m8J3MP3VT0 +Kk+odpZ+47hknfV/yr+Dqj1+m9064WR3OGadWRkPvljmnOk711I8SGvSNR+PzYwCSEt g/K6X3jF/cv7JBkxKA5scbp6C4AKvo7HmOjINTNqSGEtbsXRc62Fbrqtasn/1cOnQ2IY +Dun7ziy0vRhCoP4yfgWiPCEbTPh4WFOL2/Ui1hJTDRtyI+bDZvMPLsFAvhUhDuEIF2l lWHQ== Original-Received: by 10.43.134.199 with SMTP id id7mr3194438icc.21.1332367309178; Wed, 21 Mar 2012 15:01:49 -0700 (PDT) Original-Received: by 10.42.29.200 with HTTP; Wed, 21 Mar 2012 15:01:49 -0700 (PDT) In-Reply-To: X-Google-Sender-Auth: wkbu6y1BFrewygrftuD21OfLkjA X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 209.85.210.169 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:14152 Archived-At: This is very cool. Thank you for telling us about it! On Wed, Mar 21, 2012 at 5:58 PM, Stefan Israelsson Tampe wrote: > Hi, > > If you wondered about the results of my endavour with logic programming for > guile I > finally made a repo that is self containd and does not mode guile (HORROR > STORIES HERE) > > Anyway here is the link for the repo at gitorius, > > https://gitorious.org/gule-log/guile-log > > I just added a small repo with type-checking code that uses guile-log, see > > https://gitorious.org/typed-guile/typed-guile > > ------------------- > The astute reader will see that documentation is lacking and probably when I > stabilized guile-contracts > I wiill start documenting the these codes. > > Regards > Stefan