-
Notifications
You must be signed in to change notification settings - Fork 0
Poly/ML integration
vim-scripts/sml_polyml.vim
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This is a mirror of http://www.vim.org/scripts/script.php?script_id=4110 Uses Poly/ML's IDE mode to provide features for editing Standard ML. This includes compilation (even before saving the file), find expression types, finding symbol declarations and generating accessors for record datatypes. See http://www.polyml.org/