Skip to content

Commit 75ee04c

Browse files
Update docs/docs/reference/metaprogramming/inline.md
Co-Authored-By: Nicolas Stucki <[email protected]>
1 parent 3d8206d commit 75ee04c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/reference/metaprogramming/inline.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -363,7 +363,7 @@ Then:
363363
```
364364

365365
As another example, consider the type-level version of `toInt` below:
366-
given a _type_ representing a [Peano number](https://wiki.haskell.org/Peano_numbers),
366+
given a _type_ representing a Peano number,
367367
return the integer _value_ corresponding to it.
368368
Consider the definitions of numbers as in the _Inline
369369
Match_ section above. Here is how `toIntT` can be defined:

0 commit comments

Comments
 (0)