lTerm_text.ml
lambda-term
1 2 3 4 5 6 7 8 9 10 11 (* * lTerm_widget.ml * --------------- * Copyright : (c) 2019, ZAN DoYe <zandoye@gmail.com> * Licence : BSD3 * * This file is a part of Lambda-Term. *) include LTerm_text_impl.Make(LiteralIntf.UTF8)
1 2 3 4 5 6 7 8 9 10 11
(* * lTerm_widget.ml * --------------- * Copyright : (c) 2019, ZAN DoYe <zandoye@gmail.com> * Licence : BSD3 * * This file is a part of Lambda-Term. *) include LTerm_text_impl.Make(LiteralIntf.UTF8)