vault backup: 2023-10-16 13:37:08

2023-10-16 13:37:09 +02:00
parent f8b1eca99e
commit 53a8663396
3 changed files with 11 additions and 7 deletions
--- a/Algo/Courses/Chapter
+++ b/Algo/Courses/Chapter
@ -218,5 +218,5 @@ val reverse : 'a list -> 'a list = <fun>
 		[] -> rl
 		| e::t -> rev(e::rl) l
 	in rev [] l
-
+val reverse: 'a list -> 'a list = <fun>
 ```