~bfiedler/website

ref: 8ef5346f7fd2b7285d07530930781dc282b004b1 website/.gitignore -rw-r--r-- 60 bytes
8ef5346f — Ben Fiedler Add explanation why decidability of Idris type checking is surprising 3 months ago
                                                                                
1
2
3
4
public/
resources/_gen/
layouts/partials/openring.html
tmp/