Type-Driven Developmet with Idris July 15, 2024 by Marcos Benevides

:ID: 794f5acf-354c-49bf-943f-33480ade38f2

• References:
  • (Brady 2017)