https://github.com/chip2n/hipspec-typeclasses
History
Tip revision: 6ea62da3f3a11794ceed26fb86520969087acdc3 authored by Andreas Arvidsson on 01 June 2016, 19:17:54 UTC
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

back to top