Show HN: Turn GitHub repos into tutorials with code that can be edited and run

Posted by namin on Sunday May 01, 2022 @06:25AM
from the show-hn dept.

( 1 comment | 4 points | on HN )

Re:Show HN: Turn GitHub repos into tutorials with code that ... by will_byrd on Sunday May 01, 2022 @12:56PM (#31226547)

Used in both a short miniKanren tutorial:

and in an interactive version of the 2017 ICFP pearl on miniKanren:

[ Parent | on HN ]