GNU/Linux xterm-256color bash 585 views

recording of installing agd from source following ag0 to agd upgrade instructions

  1. install node, yarn
  2. install go
  3. install agoric-sdk