Little Typer
Disponibilitate:
În depozitul extern
Expediem în 14-21 zile
280.92
lei
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
