Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Steven Shaw (@steshaw)

1 Follow

View profile

Tim McGilchrist

lambda_foo

1 follower 5 decks

Dependently Typed State Machines

0

180

Code reuse through polymorphic variants

1

230