[Git][monnier/typer][simon--pp-print] 4 commits: Use format to print pretokens.
Simon Génier pushed to branch simon--pp-print at Stefan / Typer Commits: 0e3fdc53 by Simon Génier at 2023-02-24T13:15:51-05:00 Use format to print pretokens. - - - - - 414caf69 by Simon Génier at 2023-02-24T14:15:32-05:00 Use Format to print sexps. - - - - - 3ee5c880 by Simon Génier at 2023-02-26T18:53:05-05:00 Use Format to print lexps. - - - - - 65e931bd by Simon Génier at 2023-02-27T16:17:05-05:00 Use Format to print elexps. - - - - - 25 changed files: - − .idea/workspace.xml - debug_util.ml - src/debruijn.ml - − src/debug.ml - src/elab.ml - src/elexp.ml - src/env.ml - src/eval.ml - src/fmt.ml - src/gambit.ml - src/instargs.ml - src/inverse_subst.ml - src/lexp.ml - src/listx.ml → src/list.ml - src/opslexp.ml - src/pexp.ml - src/prelexer.ml - src/sexp.ml - src/source.ml - src/unification.ml - src/util.ml - tests/instargs_test.ml - tests/lexer_test.ml - tests/positivity_test.ml - tests/unify_test.ml The diff was not included because it is too large. View it on GitLab: https://gitlab.com/monnier/typer/-/compare/b2b3de6942834c574becaa87e4193168e... -- View it on GitLab: https://gitlab.com/monnier/typer/-/compare/b2b3de6942834c574becaa87e4193168e... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Simon Génier (@ilovemonoids)