1/1: Building Issue3317 (Issue3317.idr)
1/1: Building Totality (Totality.idr)
1/1: Building Issue3353 (Issue3353.idr)
1/1: Building Pragma (Pragma.idr)
