@inproceedings{Moon_2022, series={TyDe ’22}, title={tylr: a tiny tile-based structure editor}, url={http://dx.doi.org/10.1145/3546196.3550164}, DOI={10.1145/3546196.3550164}, booktitle={Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development}, publisher={ACM}, author={Moon, David and Blinn, Andrew and Omar, Cyrus}, year={2022}, month=Sept, pages={28–37}, collection={TyDe ’22} }