New blog post, "Logic Proofs with Coq, Agda, and Idris": https://blog.cppcabrera.com/posts/48-logic-proofs-with-agda-coq-idris.html … Props as Types in action, with code and thoughts.
-
-
@edwinbrady Thank you! Code review is so important. I'll go fix things up in my post. -
@cppcabrera I spent a few minutes trying to work out what was going on and was very puzzled until I thought to look there :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.