inter-fun - Fun with Inter Protocol Data This is the code behind a spreadsheet that demonstrates how to get data about the Inter Protocol from an Agoric chain.