Stefan Wehr
Stefan Wehr
@tvh There is now `largeHashStable` with tests
0.1.1.0 fixes this on hackage
I suggest to keep it simple and have the same references for the german and the english version. Having a german reference in the english text does not harm much....
I will go through the whole curriculum and report places that would need a reference. In a second step, we can come up with the references.
There is now #533 that adds some references to LG-{1,2,3}. I'm running somewhat out of time as the semester starts next week. I'll come back to this issue, but not...
There exists a glossary entry for sums and products in the new glossary. @mikesperber and myself are writting a blog entry about sums and products. We could add a reference...
I started working on this issue by looking what terms are already part of the glosssary: ### Already linked to glossary - encapsulation (without citation in glossary) - separation of...
One principled question for @gernotstarke and every else: what kind of references are most useful? For example, for the term "modularity" David Parnas' article "On the Criteria To Be Used...
#534 adds links to the glossary for LG-{1,2,3}