-
Alfredo Di Napoli authored
This commit generalises the API we have seen for Ngrams and NgramsElement to Ngrams and NgramsRepoElement, making it suitable for the NodeStory manipulations. Furthermore, we use zippers to efficiently traverse forests. This paves the way for a more disciplined way of handling forests of ngrams.
9750af2b