Not registered as user yet

Name:Jacob Walters
Affiliation:University of Edinburgh

Contributions

LAFI 2023 Author of Towards type-driven data-science in Idris within the LAFI 2023-track