Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Pierre Letouzey
prog-lmfi
Commits
2e5b1e0c
Commit
2e5b1e0c
authored
Dec 09, 2020
by
Pierre Letouzey
Browse files
seance6-english.v : typos
parent
5ebbe6f2
Changes
1
Hide whitespace changes
Inline
Side-by-side
seance6-english.v
View file @
2e5b1e0c
...
...
@@ -58,7 +58,7 @@ Print RestrictedBar.t.
Compute
(
RestrictedBar
.
cons
_
1
(
RestrictedBar
.
empty
_
)).
(
**
A
"funct
eu
r"
(
"foncteur"
in
French
)
is
a
module
parametrized
(
**
A
"funct
o
r"
(
"foncteur"
in
French
)
is
a
module
parametrized
by
another
module
.
*
)
...
...
@@ -143,7 +143,7 @@ Print comparison.
Module
Nat
'
<:
Orders
.
OrderedType
:=
Nat
.
(
**
So
now
we
can
build
a
module
of
finite
sets
of
numbers
.
*
)
Module
NatSet
:=
MSet
AVL
.
Make
(
Nat
).
Module
NatSet
:=
MSet
RBT
.
Make
(
Nat
).
Print
NatSet
.
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment