Mava/Inductive_Calculus
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity
main
Inductive_Calculus/bin/main.ml

2 lines
39 B
OCaml
Raw Permalink Blame History

let () = print_endline "Hello, World!"
Reference in New Issue View Git Blame Copy Permalink