8000 Update README.md: new link for Data types à la carte · github/semantic@c0f11bf · GitHub
[go: up one dir, main page]
Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit c0f11bf

Browse files
SamBSamB
authored
Update README.md: new link for Data types à la carte
The old one stopped working :-(
1 parent 793a876 commit c0f11bf

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -98,7 +98,7 @@ Throughout its lifecycle, `semantic` has leveraged a number of interesting algor
9898

9999
- Myers' algorithm (SES) as described in the paper [*An O(ND) Difference Algorithm and Its Variations*][SES]
100100
- RWS as described in the paper [*RWS-Diff: Flexible and Efficient Change Detection in Hierarchical Data*][RWS].
101-
- Open unions and [data types à la carte](http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf).
101+
- Open unions and [data types à la carte](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409).
102102
- An implementation of [Abstracting Definitional Interpreters][adi] extended to work with an à la carte representation of syntax terms.
103103

104104
[SES]: http://www.xmailserver.org/diff2.pdf

0 commit comments

Comments
 (0)
0