Interested in type systems etc. I usually like the books in this series any other good recommendations?pic.twitter.com/NxUkeQ7wA4
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Edwin is most likely too modest to recommend his own book, so I will:https://www.manning.com/books/type-driven-development-with-idris …
This one has been on my list for a while, might just have to order it!
Since Edwin popped up and is too shameless to promote his own book... have you considered "Type driven development in Idris"?
I'd also recommend "the little prover", which I got at the same type as the little typer.
I read it, its great! Though it keeps making me hungry /
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.