Skip to content

Commit

Permalink
Oops forgot some stuff
Browse files Browse the repository at this point in the history
  • Loading branch information
gdalle committed Sep 30, 2023
1 parent 0f2e22b commit 2ac362d
Show file tree
Hide file tree
Showing 4 changed files with 10 additions and 7 deletions.
2 changes: 1 addition & 1 deletion docs/make.jl
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ makedocs(;
"Home" => "index.md",
"API reference" => "api.md",
"Examples" => [
"Single argument" => "animals.md",
"Basic" => "animals.md",
]
],
)
Expand Down
4 changes: 2 additions & 2 deletions docs/src/animals.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
EditURL = "../../test/animals.jl"
```

# Single-argument interface
# Basic

Here's an examples using animals, and the implementation of a duck.
Here's an example of single-argument interface using animals, and the implementation of a duck.

## Definition

Expand Down
7 changes: 5 additions & 2 deletions src/Interfaces.jl
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
module Interfaces
"""
Interfaces
@doc read(joinpath(dirname(@__DIR__), "README.md"), String) Interfaces
A Julia package for specifying and testing interfaces (conditions verified by a set of methods applied to a type).
"""
module Interfaces

export @implements, @interface

Expand Down
4 changes: 2 additions & 2 deletions test/animals.jl
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# # Single-argument interface
# # Basic

# Here's an examples using animals, and the implementation of a duck.
# Here's an example of single-argument interface using animals, and the implementation of a duck.

# ## Definition

Expand Down

0 comments on commit 2ac362d

Please sign in to comment.