Commit e2418caf authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent fe90834c
......@@ -14,7 +14,7 @@ tree)
Document Jonathan's example where every node in an "expression" carries a type
and the visitor for expressions carries the type down (whereas the visitor for
types doesn't).
types doesn't). https://github.com/FStarLang/kremlin/blob/visitors/src/Ast.ml
Document hexpr_polymorphic. Make VisitorsHashcons available as a library.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment