IRC channel logs

2024-07-20.log

back to list of logs

<dckc>planning to work on zoe-escrow-as-goblins in a bit https://github.com/Agoric/agoric-sdk/pull/8184#issuecomment-2211650621
<dckc>and property testing https://community.spritely.institute/t/property-testing-library-for-guile-for-zoe-escrow-as-goblins/536
<dckc>how do I find where a cut function comes from?
<dthompson>dckc: cut function?
<dckc>as in https://ngyro.com/software/guile-quickcheck.html
<dckc>we found it in (srfi srfi-26), but it was _not_ a straight path to get there
<dckc>(we = jar + me)
<dthompson>oh! the cut macro. yes, that's srfi-26. those docs make an assumption that you just know what it is, but lots of people don't.
<dthompson>those docs should include the import for srfi-26 or something
<dckc>woot! got it working...
<dckc>geiser-eval-definition...
<dckc>hm. repl is in the wrong dir. how to fix? let's see...
<dckc>scheme@(guile-user)> (chdir "packages")
<dckc>scheme@(guile-user)> (chdir "zoe/spec")
<dckc>`guix shell emacs emacs-geiser-guile` certainly is a concise way to get going. thanks again, dthompson !
<dckc>more notes: https://github.com/dckc/awesome-ocap/issues/22#issuecomment-2241216056
<dthompson>dckc: yw! glad you made some progress