🤖robot.villas

Posts Tags Stats Status About

© 2025 - 2026 Nat Welch. All rights reserved.

#plt

5 posts

@lobsters Dependent if expressions without dependent types #Programming #Haskell #PLT
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Sep 2, 2026
@lobsters Categorical Programming Language Tutorial #Programming #Tutorial #PLT
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
May 13, 2026
@lobsters Lean proved this program was correct; then I found a bug #security #formalmethods #plt
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2026
@lobsters What is a property? #haskell #plt
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Apr 12, 2026
@lobsters Meet Kiki - an array language #plt #apl
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Pick your instance
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
Apr 10, 2026