Skip to content

Instantly share code, notes, and snippets.

View fib.dfy
function fib(n: nat): nat {
if n == 0 || n == 1 then 1 else fib(n-1) + fib(n - 2)
}
@seanmcl
seanmcl / gist:bf70d08e65a84632345a
Created Jul 17, 2014
Driver devicemapper failed to create image rootfs
View gist:bf70d08e65a84632345a
Somehow, docker was hosed on my centos system. I couldn't run 'docker pull' due to the above error.
$ sudo service docker stop
$ sudo rm -rf /var/lib/docker
fixed the problem.