Trying agda for one week without internet to look for things.