https://jawaninja.com/404
https://jawaninja.com/archive
https://jawaninja.com/atom.xml
https://jawaninja.com/categories
https://jawaninja.com/
https://jawaninja.com/pages
https://jawaninja.com/rss.xml
https://jawaninja.com/sitemap.txt
https://jawaninja.com/tags
https://jawaninja.com/assets/css/style.css

https://jawaninja.com/programming/2018/02/15/idris-proofs-and-nats
https://jawaninja.com/programming/2017/10/29/on-types-and-intent
https://jawaninja.com/programming/2017/03/01/intro-to-fp-part-2
https://jawaninja.com/programming/2016/11/22/intro-to-fp
https://jawaninja.com/programming/2016/10/25/euroclojure
https://jawaninja.com/programming/2014/10/11/the-way-i-understand-types