This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let process filename = | |
let ic = open_in filename in | |
(* get list of floats from the file *) | |
let rec read_one_line () = | |
try | |
Some | |
( input_line ic |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
set autoindent | |
set cmdheight=2 "command bar is 2 high | |
set backspace=indent,eol,start "set backspace function | |
syntax on | |
filetype on | |
filetype plugin on | |
filetype indent on | |
set hlsearch "highlight searched things |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(* Functor SortedList.Make resembling Map.Make and Set.Make | |
it is an artificial data structure similar to the normal list, but keeps elements sorted | |
*) | |
module type ORD = sig | |
type t | |
val compare : t -> t -> int | |
end |