[Git][monnier/typer][gambit-compile-pervasives] Compile (a trimmed-down version of) the pervasives to Scheme.
Simon Génier pushed to branch gambit-compile-pervasives at Stefan / Typer Commits: 0382e776 by Simon Génier at 2022-09-22T04:21:39-04:00 Compile (a trimmed-down version of) the pervasives to Scheme. - - - - - 18 changed files: - + btl/pervasive-light.typer - debug_util.ml - samples/nat.typer - src/REPL.ml - + src/array.ml - src/builtin.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/heap.ml - src/instargs.ml - src/inverse_subst.ml - src/lexer.ml The diff was not included because it is too large. View it on GitLab: https://gitlab.com/monnier/typer/-/commit/0382e776a37a8f83c7d824fddc8f156584... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/0382e776a37a8f83c7d824fddc8f156584... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Simon Génier (@ilovemonoids)