* guile-unify -> guile-log
@ 2012-03-21 21:58 Stefan Israelsson Tampe
2012-03-21 22:01 ` Noah Lavine
0 siblings, 1 reply; 2+ messages in thread
From: Stefan Israelsson Tampe @ 2012-03-21 21:58 UTC (permalink / raw)
To: guile-devel
[-- Attachment #1: Type: text/plain, Size: 577 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 755 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: guile-unify -> guile-log
2012-03-21 21:58 guile-unify -> guile-log Stefan Israelsson Tampe
@ 2012-03-21 22:01 ` Noah Lavine
0 siblings, 0 replies; 2+ messages in thread
From: Noah Lavine @ 2012-03-21 22:01 UTC (permalink / raw)
To: Stefan Israelsson Tampe; +Cc: guile-devel
This is very cool. Thank you for telling us about it!
On Wed, Mar 21, 2012 at 5:58 PM, Stefan Israelsson Tampe
<stefan.itampe@gmail.com> 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-03-21 22:01 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-03-21 21:58 guile-unify -> guile-log Stefan Israelsson Tampe
2012-03-21 22:01 ` Noah Lavine
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).