Fix absolute link in favor of relref
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
parent
37399afc68
commit
11d726a6ad
|
@ -222,7 +222,7 @@ are the ingredients to this trick:
|
||||||
|
|
||||||
### Conclusion
|
### Conclusion
|
||||||
I'll be the first to admit that this trick is quite situational, and may
|
I'll be the first to admit that this trick is quite situational, and may
|
||||||
not be as far-reaching as the ["Is Something" pattern](https://danilafe.com/blog/agda_is_pattern/)
|
not be as far-reaching as the ["Is Something" pattern]({{< relref "agda_is_pattern" >}})
|
||||||
I wrote about before, which seems to occur far more in the wild. However, there
|
I wrote about before, which seems to occur far more in the wild. However, there
|
||||||
have now been two times when I personally reached for this trick, which seems
|
have now been two times when I personally reached for this trick, which seems
|
||||||
to suggest that it may be useful to someone else.
|
to suggest that it may be useful to someone else.
|
||||||
|
|
Loading…
Reference in New Issue
Block a user