Contact
DMCA
Privacy
Robuta
https://corecursive.com/023-little-typer-and-pie-language/
The Little Typer With Dan Friedman and David Christiansen - CoRecursive Podcast
You can write more correct software and even rigorous mathematical proofs. Prepare for some mind stretching.Previous guests like Edwin Brady and Stephanie...
the little
dan friedman
david christiansen
typer
corecursive