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
