jonas1ara.bsky.social
@jonas1ara.bsky.social
#fsharp now we have a proof checker embedded in F#'s computation expressions WIP

By Luis Mendez
April 6, 2025 at 2:12 PM