https://github.com/jwaldmann/matchbox
Tip revision: 3b219db26dfb5ff9dd8777dcebabdd4e2a9427a4 authored by Johannes Waldmann on 08 March 2016, 20:10:11 UTC
small changes to build and run scripts
small changes to build and run scripts
Tip revision: 3b219db
File | Mode | Size |
---|---|---|
CO4 | ||
Compress | ||
MB | ||
SMT | ||
data | ||
release | ||
script | ||
.gitignore | -rw-r--r-- | 42 bytes |
MB.hs | -rw-r--r-- | 13.7 KB |
README.md | -rw-r--r-- | 541 bytes |
Statistik.hs | -rw-r--r-- | 1.7 KB |
build-all.sh | -rwxr-xr-x | 1.0 KB |
build-mine.sh | -rwxr-xr-x | 794 bytes |
closuretest.hs | -rw-r--r-- | 801 bytes |
matchbox.cabal | -rw-r--r-- | 2.5 KB |
release.sh | -rwxr-xr-x | 957 bytes |
run.sh | -rwxr-xr-x | 368 bytes |