.ocamlinit - dotfiles.git - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/.ocamlinit

blob: da2367402cacb2d223d7693f76e9dc1c39eb1847 (plain)

#use "topfind";;

#require "core.top";;
#require "core.syntax";;

open Core;;