@misc{indiciae0cd1b815d55d, title = {Adding Data to Curry}, author = {Michael Hanus and Finn Teegen}, year = {2019}, url = {https://arxiv.org/abs/1908.10607}, note = {Source identifier: 1908.10607} }