Merge pull request #29 from lambdaclass/end

end

Author: edg-l

docs/src/SUMMARY.md

@@ -12,3 +12,4 @@
 - [Workshop: Compiling Functions](./workshop_p8.md)
 - [Workshop: Testing](./workshop_p9.md)
 - [Workshop: Glue code](./workshop_p10.md)
+- [End](./end.md)

docs/src/end.md

@@ -0,0 +1,8 @@
+# End
+
+If you reached this by following all the steps, you should now have a (really) minimal working language, well done!
+
+## Some projects to check out
+
+- [Cairo native](https://github.com/lambdaclass/cairo_native) makes extensive use of MLIR.
+- [Concrete](https://github.com/lambdaclass/concrete) first codegen backend is made with MLIR, this should be easier to read than Cairo Native code.