Redirecting to: /post/idris-2-initial-release-0-dot-2-1-for-the-jvm

Redirecting from /blog/2021/07/24/idris-2-initial-release-0-dot-2-1-for-the-jvm/ to /post/idris-2-initial-release-0-dot-2-1-for-the-jvm