~bfiedler/website

ref: 8ef5346f7fd2b7285d07530930781dc282b004b1 website/README.md -rw-r--r-- 422 bytes
8ef5346f — Ben Fiedler Add explanation why decidability of Idris type checking is surprising 3 months ago

#website

builds.sr.ht status

My personal website/blog.

#Licensing

All content is licensed under the Creative Commons BY-SA 4.0 license.

All code is licensed under the MIT License.