Matthew Do's repositories
programming-language-foundations-in-idris
Programming language foundations in Idris
programming-language-foundations-in-lean
Programming language foundations in Lean
say-number
Saying numbers using Rust
99-prolog-problems
My solutions to 99 Prolog problems
azure-cosmos-tla
Azure Cosmos TLA+ specifications
Language:TLAMIT000
flix
The Flix Programming Language
NOASSERTION000
goc-nhin-alan
Blog posts on Góc Nhìn Alan (www.gocnhinalan.com) made into ebook form
higher-angler
Higher Angler - a higher-order probabilistic programming language
mastering-haskell
The slides for my Packt course, "Mastering Haskell".
minhnhdo.github.io
My home page
project-euler
Solutions for project Euler
software-foundations
Software Foundations in Idris
terraform-inventory
Terraform State → Ansible Dynamic Inventory
upenn-haskell
Solutions for Haskell course from University of Pennsylvania