lTerm_editor.ml
inquire
inquire.lambda-term
inquire.zed
1 2 3 4 5 6 7 8 9 10 11 12 13 (* * lTerm_editor.ml * ------------ * Copyright : (c) 2020, ZAN DoYe <zandoye@gmail.com> * Licence : BSD3 * * This file is a part of Lambda-Term. *) type mode= | Default | Vi
1 2 3 4 5 6 7 8 9 10 11 12 13
(* * lTerm_editor.ml * ------------ * Copyright : (c) 2020, ZAN DoYe <zandoye@gmail.com> * Licence : BSD3 * * This file is a part of Lambda-Term. *) type mode= | Default | Vi