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)