Mentions légales du service

Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.03Nov31Oct1617Mar16148728Feb27242221201716151413987632131Jan30Added [Atom.Set.union_many].mastermasterFix the type of [handle_NonDisjointUnion].Added scratch.ml, which needs cleanup.Merge branch 'kitrename_lookup' into 'master' KitRename: lookup must return the same atom if the atom is not in the environment.Typo.Update [make test].Print pairs without parentheses.Merge branch 'lexer_parser' into 'master' TODO.Forgot to include [rename_term] in [ToolboxOutput].Add macros to generate a [rename] function.Test [size_term].Comment.Allow [make processed] to work even if the generated code is ill-typed.Fix [make processed].Add root Makefile.New macros __ALL and ALL.Fix a more complex testMore examples.Improve comments.Allow multiple expression with ;;. Add new examples.Back to initial notation for (type-)abstractionUse file instead of 'hand-written' AST.Lexer and parser. Ok on simple example. Fail with unboun variable on more_complex.inriaTest filesChange some characters for printing (using UTF8)Add use_menhir in tagsA worthless manual test.TODO.Introduced macros in Term.TODO.Generate all four visitors in the advanced/ demo.Remove [lookup] from the functor's input signature.Plug [BindingCombinators] instead of [BindingFormsUnbound].Fixed comments about [lookup].Remove [BindingCombinators.endo], as it is not needed.Add [BindingCombinators.endo] as a copy of [map].Add the class [BindingCombinators.iter2].TODO.