[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: Stefan Israelsson Tampe
Subject: typed-guile
Date: Sat, 29 Sep 2012 21:27:23 +0200

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

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]