Record🤔

uri:

"at://did:plc:3gqq24hdofwlg7yf5g2gn6wl/app.bsky.feed.post/3lcj2o4imkk2a"

cid:

"bafyreidljf7bgf4vky3y6eqwhpiffoqwrdetthznrf6xnd6hjn7ixurecq"

value:

text:

"Happy Holidays #FsAvent!

I'm happy to annouce the The Gödelian Toolkit!

It's a tiny educational #fsharp library to help you create Gödelian constructors for your toy languages so you can enumerate and systematically explore your toy languages and inductive types!

github.com/sgoguen/gode..."

$type:

"app.bsky.feed.post"

embed:

$type:

"app.bsky.embed.external"

external:

uri:

"https://github.com/sgoguen/godelian-toolkit"

thumb:

View blob content

$type:

"blob"

ref:

$link:

bafkreiaphlfdkzfk76hjxxqugvf5m6x7bj2imohqdtvjs3lsbhuqzni25i

mimeType:

"image/jpeg"

size:

347149

title:

"GitHub - sgoguen/godelian-toolkit: The Gödelian Toolkit: Systematically Testing Simple Languages"

description:

"The Gödelian Toolkit: Systematically Testing Simple Languages - sgoguen/godelian-toolkit"

langs:

• "en"

facets:

• index:

  byteEnd:

  23

  byteStart:

  15

  features:

  • tag:

    "FsAvent"

    $type:

    "app.bsky.richtext.facet#tag"

• index:

  byteEnd:

  106

  byteStart:

  99

  features:

  • tag:

    "fsharp"

    $type:

    "app.bsky.richtext.facet#tag"

• index:

  byteEnd:

  295

  byteStart:

  269

  features:

  • uri:

    "https://github.com/sgoguen/godelian-toolkit"

    $type:

    "app.bsky.richtext.facet#link"

createdAt:

"2024-12-04T21:06:35.113Z"