1/1: Building Adder (Adder.idr)1/1: Building DataStore (DataStore.idr)1/1: Building DataStoreHoles (DataStoreHoles.idr)1/1: Building Maybe (Maybe.idr)1/1: Building Printf (Printf.idr)1/1: Building TypeFuns (TypeFuns.idr)1/1: Building TypeSynonyms (TypeSynonyms.idr)