hydiomatic icon indicating copy to clipboard operation
hydiomatic copied to clipboard

Published 20 hours ago • verified publisher icon hylang

miniKanren-based iterations/fixed points

Open brandonwillard opened this issue 5 years ago • 0 comments

Can the [pre/post]walk and fixed-point iterations be performed in miniKanren (e.g. using recursive relations, conde/alwayso/anyo, etc.)?

If so, are there any advantages to doing that?

brandonwillard avatar Oct 16 '18 21:10 brandonwillard