Type-driven data-science infrastructure for Idris2

Project Details

StatusFinished
Effective start/end date1/04/2128/02/22

Funding

  • UK central government bodies/local authorities, health and hospital authorities: £99,819.00