1
0
This commit is contained in:
2023-01-13 00:01:06 +01:00
parent 1d1c91cc88
commit c88f6f0c60
3 changed files with 357 additions and 0 deletions
+2
View File
@@ -4,3 +4,5 @@ let read_file filename =
close_in ch;
s
;;
let list_of_chars str = List.init (String.length str) (String.get str)