 (setenv "GO111MODULE" "on")
 
 ;; end envs setup
+
+;; add supports for why3
+;;(add-to-list 'load-path "~/Repositories/ocaml/why3/share/emacs/")
+;; (load "why3")
+
+(add-to-list 'load-path "~/Repositories/emacs/tla-mode")
+(require 'tla-mode)
+;; (use-package tla-mode :mode "\\.tla$")
+
+
+(add-to-list 'load-path "~/Repositories/ocaml/dune/editor-integration/emacs")
+(require 'dune)
+
+(use-package company :demand t :pin melpa
+  :init (global-company-mode))
+
+(use-package company-lsp :demand t :pin melpa)
+(use-package lsp-treemacs :demand t :pin melpa)
 
 ;; begin projectile & ivy setup
 ;;

;; rfc mode supports
(use-package rfc-mode :pin melpa)

;; rust supports
(use-package rust-mode :pin melpa :mode "\\.rs$")
(use-package rust-playground :pin melpa )

;; go supports
(use-package go-mode :pin melpa :mode "\\.go$")

;; ocaml supports
(use-package tuareg :pin melpa)

;; scala supports
(use-package scala-mode :pin melpa :mode "\\.s\\(c\\|cala\\|bt\\)$")

;; (use-package auto-complete :pin melpa
;;   :config

;;; package -- Summary
;;; Commentary: this is zerosign init.el
;;; Code:

(setq custom-file (expand-file-name "custom.el" user-emacs-directory))
(when (file-exists-p custom-file)
  (load custom-file))

(add-to-list 'default-frame-alist '(font . "Source Code Pro-9"))
(set-face-attribute 'default t :font "Source Code Pro-9")
(set-face-attribute 'default nil :font "Source Code Pro-9")
(set-frame-font "Source Code Pro-9" nil t)

(require 'package)

