Skip to content

Add Bits.sub#120

Merged
VictorTaelin merged 3 commits into
HigherOrderCO:masterfrom
jonathanrlouie:jonathanrlouie/bits_sub
Dec 15, 2020
Merged

Add Bits.sub#120
VictorTaelin merged 3 commits into
HigherOrderCO:masterfrom
jonathanrlouie:jonathanrlouie/bits_sub

Conversation

@jonathanrlouie

Copy link
Copy Markdown
Contributor

The new PR for Formality#115, as requested.

@VictorTaelin VictorTaelin force-pushed the master branch 19 times, most recently from 0654189 to cb31140 Compare December 15, 2020 18:59
@VictorTaelin

Copy link
Copy Markdown
Member

Thank you! (:

@VictorTaelin VictorTaelin merged commit 8577ede into HigherOrderCO:master Dec 15, 2020
VictorTaelin added a commit that referenced this pull request Dec 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants