Skip to main content

Browse the archive

Revision 7c59f919d783955c2b99a0030d4874f345d813b6 authored by Cécile BARITEL-RUET on 02 November 2017, 16:46:44 UTC, committed by Cécile BARITEL-RUET on 02 November 2017, 16:46:44 UTC 
Name = String => EcIdent
 
matches = (form | memory | mpath | xpath) map.t
TODO :
- add xpath/mpath patterns
- add hyps (and its env inside) in the engine context to replace f_equal by reduction
- add bindings to t_matches
1 parent dc41379
Raw File
.dir-locals.el 
((tuareg-mode .
   ((require-final-newline . t)
    (c-basic-offset . 2)
    (tab-width . 2)
    (indent-tabs-mode . nil)
    (eval . (add-hook 'write-contents-functions 'delete-trailing-whitespace)))))
 (easycrypt-mode .
   ((require-final-newline . t)
    (indent-tabs-mode . nil)))
back to top