emilypi / smash

Smash products, Wedge products, and other Pointed stuff
34 stars 11 forks source link

Factors out shared logic for unzipping and undeciding #2

Closed masaeedu closed 4 years ago

masaeedu commented 4 years ago

Fixes #1

masaeedu commented 4 years ago

Whoops, sorry. Let me just remove the nix related commit (done).

masaeedu commented 4 years ago

@emilypi Ok, done.

emilypi commented 4 years ago

@masaeedu Thanks! Merging on green 😄

emilypi commented 4 years ago

Congrats @masaeedu!