Stefan Israelsson Tampe <stefan.ita...@gmail.com> 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’.

Reply via email to