Skip to content

fix notations of dependency and later-than#84

Open
ldct wants to merge 1 commit intoethereum:masterfrom
ldct:master
Open

fix notations of dependency and later-than#84
ldct wants to merge 1 commit intoethereum:masterfrom
ldct:master

Conversation

@ldct
Copy link

@ldct ldct commented Jun 7, 2018

Previously, we had

  • m < m
  • !(m > m)

@ldct ldct force-pushed the master branch 2 times, most recently from 896a99c to fad38f4 Compare June 7, 2018 06:36
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.

1 participant