[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: 17519ff3 by Simon Génier at 2022-09-22T14:55:27-04:00 Compile (a trimmed-down version of) the pervasives to Scheme. - - - - - 17 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/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/17519ff310d3c13fb3b10bcb873b2a800f... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/17519ff310d3c13fb3b10bcb873b2a800f... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Simon Génier (@ilovemonoids)