On Mon, Apr 2, 2012 at 5:53 PM, David Nolen wrote:
> On Fri, Mar 30, 2012 at 8:20 PM, Gabriel Pickard
> wrote:
>
>> I'm trying to build something related [1]: A temporal- and control-flow
>> reasoner for software in general. My idea was to tie this into logging or
>> debugging interfaces.
>> I w
On Fri, Mar 30, 2012 at 8:20 PM, Gabriel Pickard wrote:
> I'm trying to build something related [1]: A temporal- and control-flow
> reasoner for software in general. My idea was to tie this into logging or
> debugging interfaces.
> I would be very, very interested in combining this with source-cod
I'm trying to build something related [1]: A temporal- and control-flow
reasoner for software in general. My idea was to tie this into logging or
debugging interfaces.
I would be very, very interested in combining this with source-code
reasoning (which might also profit from some shared higher-leve
Nice find.
Thanks,
'(Devin Walters)
On Friday, March 30, 2012 at 2:58 PM, David Nolen wrote:
> http://soft.vub.ac.be/SOUL/
>
> This project is worth looking at for directions that kibit might want to go.
> It's also a good resource for cool ideas on how to leverage core.logic -
> miniKanren
http://soft.vub.ac.be/SOUL/
This project is worth looking at for directions that kibit might want to
go. It's also a good resource for cool ideas on how to leverage core.logic
- miniKanren was designed from the get go to manipulate Lisp source.
David
--
You received this message because you are
