lindseykuper: Photo of me outside. (Default)
lindseykuper ([personal profile] lindseykuper) wrote2022-09-07 04:05 pm
  • Add Memory
  • Share This Entry
Entry tags:

Verified causal broadcast with Liquid Haskell

New blog post, in which I share what I've been working on the last couple years!

  • Add Memory
  • Share This Entry
(0 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.