From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: guile-unify -> guile-log Date: Wed, 21 Mar 2012 22:58:15 +0100 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=f46d04447f476ed1e604bbc7e3c9 X-Trace: dough.gmane.org 1332367105 17200 80.91.229.3 (21 Mar 2012 21:58:25 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 21 Mar 2012 21:58:25 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Mar 21 22:58:25 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 1SATY0-0004jW-N7 for guile-devel@m.gmane.org; Wed, 21 Mar 2012 22:58:24 +0100 Original-Received: from localhost ([::1]:45429 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SATXz-0007BV-RK for guile-devel@m.gmane.org; Wed, 21 Mar 2012 17:58:23 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:59805) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SATXw-0007B9-5U for guile-devel@gnu.org; Wed, 21 Mar 2012 17:58:21 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SATXu-00032G-BT for guile-devel@gnu.org; Wed, 21 Mar 2012 17:58:19 -0400 Original-Received: from mail-we0-f169.google.com ([74.125.82.169]:55679) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SATXu-00031q-2o for guile-devel@gnu.org; Wed, 21 Mar 2012 17:58:18 -0400 Original-Received: by werj55 with SMTP id j55so1725267wer.0 for ; Wed, 21 Mar 2012 14:58:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=LSXBZIu0cPTOq/TFy5JRKglczB7vHFnEtHv1LxOvrf4=; b=OzzPcSF6N+1WDI3PKKmh1Ege4O+lbAUmDFp9d3wfhw/nu4gLNRX1l7jHZCjuGwu9U6 uyrz8KUMLxH2CjlrUibPR3Qs9vGXw/uzYTP7nhnNO0ReinYSUE0IjdjHELmcIQ+R6r+J /6fHD+xzFpYm58dwivZb11WJePFl8Wz28+3hhII1cmkpdVDvG08Mxj5mErg7sAR3MBx4 VyrBxqiRhOxcOHplbGjkF/vis1h8ImCUUuct/NAqqJhEdy18clWOmy28KGhDjkybj1fp aTejyy8szq9d3ImYei+yJXWkGkKgTQYh+MvREjRzCPcttgIjlhb5enZxkcjb8yHTojZm BrxQ== Original-Received: by 10.180.95.197 with SMTP id dm5mr41369251wib.20.1332367095419; Wed, 21 Mar 2012 14:58:15 -0700 (PDT) Original-Received: by 10.216.28.12 with HTTP; Wed, 21 Mar 2012 14:58:15 -0700 (PDT) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 74.125.82.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:14150 Archived-At: --f46d04447f476ed1e604bbc7e3c9 Content-Type: text/plain; charset=ISO-8859-1 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 --f46d04447f476ed1e604bbc7e3c9 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi,

If you wondered about the results of my endavour with logic prog= ramming for guile I
finally made a repo that is self containd and does n= ot 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-check= ing 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 do= cumenting the these codes.

Regards
Stefan
--f46d04447f476ed1e604bbc7e3c9--