Skip to content

Instantly share code, notes, and snippets.

@co-dan

co-dan/gist:6d17ff268c944bec1d13aa991b381c9f Secret

Created October 19, 2018 08:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save co-dan/6d17ff268c944bec1d13aa991b381c9f to your computer and use it in GitHub Desktop.
Save co-dan/6d17ff268c944bec1d13aa991b381c9f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
#use "topfind";;
#thread;;
#require "core.top";;
#require "core.syntax";;
(* Added by OPAM. *)
let () =
try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
with Not_found -> ()
;;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment