https://github.com/chip2n/hipspec-typeclasses
Tip revision: 6ea62da3f3a11794ceed26fb86520969087acdc3 authored by Andreas Arvidsson on 01 June 2016, 19:17:54 UTC
Fix indentation in OrdTree example.
Fix indentation in OrdTree example.
Tip revision: 6ea62da
File | Mode | Size |
---|---|---|
src | ||
.gitignore | -rw-r--r-- | 65 bytes |
LICENSE | -rw-r--r-- | 0 bytes |
Setup.hs | -rw-r--r-- | 46 bytes |
Structural_indcution.txt | -rw-r--r-- | 3.3 KB |
hipspec-typeclasses.cabal | -rw-r--r-- | 2.3 KB |
run_evaluation.sh | -rwxr-xr-x | 1.3 KB |