seanmcl

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.

seanmcl

function fib(n: nat): nat {
  if n == 0 || n == 1 then 1 else fib(n-1) + fib(n - 2)
}