Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Primary navigation

Project

T

Typer
- Activity
- Members
- Labels
- Releases
- Model registry
- Incidents

Snippets Groups Projects

900c37da

Commit 900c37da authored 7 years ago by Stefan

Downloads
- Patches
- Plain Diff

Rename Lparse to Elab

parent 07290652

No related branches found

No related tags found

Loading

Changes 12

Show whitespace changes

Inline Side-by-side

Showing

src/REPL.ml 5 additions, 6 deletions

src/REPL.ml
src/debug_util.ml 5 additions, 6 deletions

src/debug_util.ml
src/elab.ml 10 additions, 8 deletions

src/elab.ml
src/eval.ml 1 addition, 1 deletion

src/eval.ml
src/util.ml 2 additions, 4 deletions

src/util.ml
tests/elab_test.ml 3 additions, 4 deletions

tests/elab_test.ml
tests/env_test.ml 1 addition, 2 deletions

tests/env_test.ml
tests/eval_test.ml 7 additions, 8 deletions

tests/eval_test.ml
tests/inverse_test.ml 1 addition, 3 deletions

tests/inverse_test.ml
tests/lexp_test.ml 2 additions, 3 deletions

tests/lexp_test.ml
tests/macro_test.ml 6 additions, 7 deletions

tests/macro_test.ml
tests/unify_test.ml 3 additions, 5 deletions

tests/unify_test.ml

with 46 additions and 57 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment