joelberkeley
diff --git a/‎tutorials/Accelerating With XLA.idr renamed to ‎tutorials/Accelerating With XLA.md b/‎tutorials/Accelerating With XLA.idr renamed to ‎tutorials/Accelerating With XLA.md