Add expression for the Agda standard library
Merge pull request #2474 from jwiegley/agda-stdlib

Add expression for the Agda standard library