TY - RPRT TI - Teaching Introductory Functional Programming Using Haskelite AU - Pedro Vasconcelos PY - 2025 DO - 10.4204/eptcs.424.3 UR - https://arxiv.org/abs/2508.03640 ID - 2508.03640 ER -