No description, website, or topics provided.
Verilog Haskell Shell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
paper
.gitignore
ChangeLog
Makefile
README
TODO
example-problems.txt
extraction.v
group_by_r.hs
head.hs
header.hs
hint.hs
journal.markdown
nvar.hs
relation.hs
schema.sh
sequentialconsistency.v
waitfree.hs

README

with Gauche 0.8.13
with Gauche-dbd-sqlite3 0.1.3 
     available at http://practical-scheme.net/wiliki/wiliki.cgi?kikuchi

to run tests (comparing SQL result and lisp result)
$ gosh -l ./sql2lisp.scm