diff options
| author | Carson Drake <43159271+drake-smu@users.noreply.github.com> | 2021-03-10 21:00:13 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-10 21:00:13 -0800 |
| commit | 28f9a5847a9b4faf2409c8ad51a4a08d2f4cc238 (patch) | |
| tree | 7638d33c70bb5ffa8a6358972e692f2f3adaa419 /coq.html.markdown | |
| parent | 5d2d1cf77c8f4e06c08da4657b152a2b2b06504f (diff) | |
Update Further reading link for consistency
Replace dead `Susan Potter` link and replace with `Rommel Martinez` reference from `[nix/en]`.
Was unable to find archived version of Potter link. Using Nix Manual, Fisher example, and Martinez
intro as the three `Further Reading` references across translations.
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions