[Typer] [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: 071738ae by Simon Génier at 2022-09-21T10:07:25-04:00 Compile (a trimmed-down version of) the pervasives to Scheme.

- - - - -

20 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 - src/lexp.ml - src/listx.ml → src/list.ml

The diff was not included because it is too large.

View it on GitLab: https://gitlab.com/monnier/typer/-/commit/071738ae521309d943ca11ed2065d0b177...