|
| From: | Ludovic Courtès |
| Subject: | Re: Ang.: Will guile support R7RS terminating "equal?" in the presence of cycle? |
| Date: | Sat, 01 Sep 2012 19:53:02 +0200 |
| User-agent: | Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux) |
Stefan Israelsson Tampe <address@hidden> skribis: > https://gitorious.org/typed-guile > > It's a type system implemented using guile-log! Woow, this is crazy. I wish we could converge eventually... Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |