Permalink
Browse files

github markdown: numbered definition

  • Loading branch information...
1 parent b44c598 commit 37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e @adriaanm adriaanm committed Mar 11, 2014
Showing with 5 additions and 5 deletions.
  1. +5 −5 07-classes-and-objects.md
View
@@ -272,16 +272,16 @@ member of a class $C$ overrides a member of a parent class, or whether
the two co-exist as overloaded variants in $C$, Scala uses the
following definition of _matching_ on members:
-> **Definition** \
+> **Definition**
> A member definition $M$ _matches_ a member definition $M'$, if $M$
> and $M'$ bind the same name, and one of following holds.
>
-> #. Neither $M$ nor $M'$ is a method definition.
-> #. $M$ and $M'$ define both monomorphic methods with equivalent argument
+> 1. Neither $M$ nor $M'$ is a method definition.
+> 2. $M$ and $M'$ define both monomorphic methods with equivalent argument
> types.
-> #. $M$ defines a parameterless method and $M'$ defines a method
+> 3. $M$ defines a parameterless method and $M'$ defines a method
> with an empty parameter list `()` or _vice versa_.
-> #. $M$ and $M'$ define both polymorphic methods with
+> 4. $M$ and $M'$ define both polymorphic methods with
> equal number of argument types $\overline T$, $\overline T'$
> and equal numbers of type parameters
> $\overline t$, $\overline t'$, say, and

0 comments on commit 37ef8a2

Please sign in to comment.