Podcast The Little Typer With Dan Friedman and David Christiansen by Adam Gordon Bell 2 Comments When it comes to type systems “I am, so far, only in the dependent types camp” – Daniel P. Friedman You can write.. Read More
Podcast Type Driven Development and Idris With Edwin Brady by Adam Gordon Bell No comments yet Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science.. Read More