Hi,
I have read the source code for kanren and want to put the system in
relation to the work I have been doing which I will
call guile-log.
So the basic difference between kanren and guile-log are that kanren is
general and guile log is close to two orders
of magnitude faster on either the VM or
Hi,
I hope I'll not spam the list, but I wanted to show off a simple example of
the type checking done
for guile. It follows typed racked features. What's missing is the
possibility to typecheck
e.g. map with arbitrary many arguments. But recursive types are in and seems
to work.
What needs to go
