projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b3283c) | patch
Add new hlist module
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 26 Apr 2009 15:44:03 +0000 (15:44 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 26 Apr 2009 15:44:03 +0000 (15:44 +0000)
commit479afaf5e67e28ef73c0126e95ca8badec3392aa
tree8ed3e07398f66b73e315931a50ceb368fc3ab339tree | snapshot
parent8b3283c30149065d761e38cf0818c8ede62d48abcommit | diff
Add new hlist module

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@360 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
hlist.ml [new file with mode: 0644] blob
hlist.mli [new file with mode: 0644] blob
XPath Library based on tree automata.