Venturecxx icon indicating copy to clipboard operation
Venturecxx copied to clipboard
verified publisher icon probcomp

Define a reasonable non-symmetric local_proposal combinator

Open axch opened this issue 10 years ago • 0 comments

Blocked on #117, I think, because I want to accept a kernel SP and arguments for it.

axch avatar Aug 04 '15 19:08 axch