projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eta expand (land) and (lor) to fun a b -> a land b
[SXSI/xpathcomp.git] / automaton.ml
2009-01-27 kimEta expand (land) and (lor) to fun a b -> a land b blob | commitdiff | raw
2009-01-27 kim. blob | commitdiff | raw | diff to current
2008-11-21 kimInitial commit blob | commitdiff | raw | diff to current
XPath Library based on tree automata.