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
History
File Mode Size
docker
install
packaging
srctx
testing
back to top