added some scala, and coq, and nrepl