1/3: Building X (X.idr)
2/3: Building Y (Y.idr)
3/3: Building Main (Main.idr)
