Re: guile-unify -> guile-log

[Noah Lavine]

This is very cool. Thank you for telling us about it!

On Wed, Mar 21, 2012 at 5:58 PM, Stefan Israelsson Tampe
<address@hidden> 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