Hi, The exercises in the F* tutorial (https://fstar-lang.org/tutorial/) come with links that load F* code snippets into the online editor. Those "load in editor" links appear to be currently broken, perhaps because the URLs to the files with the corresponding code cannot be resolved.
Here's an example of the error that appears when trying to load an exercise in the editor: <html> <head><title>404 Not Found</title></head> <body bgcolor="white"> <center><h1>404 Not Found</h1></center> <hr><center>nginx/1.12.1</center> </body> </html> <!-- a padding to disable MSIE and Chrome friendly error page --> <!-- a padding to disable MSIE and Chrome friendly error page --> <!-- a padding to disable MSIE and Chrome friendly error page --> <!-- a padding to disable MSIE and Chrome friendly error page --> <!-- a padding to disable MSIE and Chrome friendly error page --> <!-- a padding to disable MSIE and Chrome friendly error page --> Apart from that, the tutorial is very helpful. Hope this will help fix the links. Marianna _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club