Ismaila FALL pushed to branch location-sinfo at Stefan / Typer Commits: 54debf9a by Fallismaila at 2022-08-22T17:25:30+00:00 new file heuristic.ml - - - - - 30 changed files: - .gitignore - .travis.yml - COPYING - GNUmakefile - README.md - btl/builtins.typer - btl/case.typer - btl/depelim.typer - btl/do.typer - btl/heap.typer - btl/list.typer - btl/monads.typer - btl/pervasive.typer - btl/plain-let.typer - btl/poly-lits.typer - btl/polyfun.typer - btl/tuple.typer - debug_util.ml - doc/Compiler Structure.md - doc/formal/commands.tex - doc/formal/typer_theory.bib - doc/formal/typer_theory.tex - doc/manual.texi - doc/primer.md - dune-project - emacs/typer-mode.el - opam - samples/acc.typer - samples/array_test.typer - samples/autodiff.typer The diff was not included because it is too large. View it on GitLab: https://gitlab.com/monnier/typer/-/commit/54debf9a7eec91f8cfdbd61557664faaed... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/54debf9a7eec91f8cfdbd61557664faaed... You're receiving this email because of your account on gitlab.com.