typed-guile

[Stefan Israelsson Tampe]

Hi all,

I've been reworking my little type-checking library built on guile-log. It now works
on some pretty recent guile-2.0 repo and a recent guile-log. It has subtypes it has recursive types
allow for or and and not in the spec for the type. You can check it out at

https://gitorious.org/typed-guile

To see how it works consider to take a look at example.scm

It's not as featurefull as typed-racket but has been a great testbed for guile-log.

Have fun

Stefan