projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95367aa) | patch
Eta expand (land) and (lor) to fun a b -> a land b
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Tue, 27 Jan 2009 22:24:33 +0000 (22:24 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Tue, 27 Jan 2009 22:24:33 +0000 (22:24 +0000)
commit6c60812f1f494f273d6074fcccf2707a6097cfaa
tree5e5f0fe185c88222156cd8d44d7eb29a65c084d1tree | snapshot
parent95367aa932a9e179976e59ea326542c50905f5b3commit | diff
Eta expand (land) and (lor) to fun a b -> a land b
fun a b -> a lor b, not supported in ocaml 3.10.0

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@79 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
automaton.ml diff | blob | history
XPath Library based on tree automata.