by Vincent Reynolds

Ghost will Solve our Problems

In Ghost you should have faith, OCaml will Save Us