Setepenre pushed to branch master at Stefan / Typer
Commits: fbc37827 by Pierre Delaunay at 2016-04-11T09:54:32-04:00 Merging
- - - - - 6834711a by Pierre Delaunay at 2016-04-11T10:05:18-04:00 src/typecheck.ml: type declarations are now in builtin.ml
- - - - -
5 changed files:
- src/REPL.ml - src/builtin.ml - src/debruijn.ml - src/lparse.ml - src/typecheck.ml
Changes:
===================================== src/REPL.ml ===================================== #Gitlab::Git::Diff:0x007f5c147aa8b0
===================================== src/builtin.ml ===================================== #Gitlab::Git::Diff:0x007f5c147a9e60
===================================== src/debruijn.ml ===================================== #Gitlab::Git::Diff:0x007f5c147a94b0
===================================== src/lparse.ml ===================================== #Gitlab::Git::Diff:0x007f5c147a8a88
===================================== src/typecheck.ml ===================================== #Gitlab::Git::Diff:0x007f5c147a8038
View it on GitLab: https://gitlab.com/monnier/typer/compare/5c5f905dd13cd1fe3dce67b5a351fb34e62...