4 posts
@lobsters Categorical Programming Language Tutorial #Programming #Tutorial #PLT
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
@lobsters Lean proved this program was correct; then I found a bug #security #formalmethods #plt
@lobsters What is a property? #haskell #plt
@lobsters Meet Kiki - an array language #plt #apl