Dependencies for Hoed-0.3.6

Libraries

Hoed

Executables

hoed-examples-Raincat

hoed-examples-FPretty_indents_too_much

hoed-examples-FPretty_indents_too_much__CC

hoed-examples-Stern-Brocot

hoed-examples-Queens_v1__with_properties

hoed-examples-Queens_v2__with_properties

hoed-examples-Queens_v3__with_properties

hoed-examples-Queens_v4_defect_in_filter__with_properties

hoed-examples-filter__with_properties

hoed-examples-Rot13

hoed-examples-Salary

hoed-examples-ZLang_Defect-1

hoed-examples-ZLang_Defect-2

hoed-examples-ZLang_Defect-3

hoed-examples-Nub-defective-sort__with_properties

hoed-examples-Insertion_Sort_elements_disappear

hoed-examples-XMonad_changing_focus_duplicates_windows

hoed-examples-XMonad_changing_focus_duplicates_windows__test_only

hoed-examples-XMonad_changing_focus_duplicates_windows__CC

hoed-examples-XMonad_changing_focus_duplicates_windows__with_properties

hoed-examples-SummerSchool_compiler_does_not_terminate

hoed-examples-SummerSchool_compiler_does_not_terminate__with_properties

hoed-examples-CNF_unsound_de_Morgan__with_properties

hoed-examples-Digraph_not_data_invariant__with_properties

hoed-examples-Simple_higher-order_function

hoed-examples-Parity_test

hoed-examples-Expression_simplifier

hoed-examples-Expression_simplifier__with_properties

hoed-tests-Prop-t0

hoed-tests-Prop-t1

hoed-tests-Prop-t2

hoed-tests-Prop-t3

hoed-tests-Prop-t4

hoed-tests-Prop-t5

hoed-tests-ParEq

hoed-tests-Generic-r0

hoed-tests-Generic-t0

hoed-tests-Generic-r1

hoed-tests-Generic-t1

hoed-tests-Generic-r2

hoed-tests-Generic-t2

hoed-tests-Generic-r3

hoed-tests-Generic-t3

hoed-tests-Pure-t1

hoed-tests-Pure-t2

hoed-tests-Pure-t3

hoed-tests-Pure-t4

hoed-tests-Pure-t5

hoed-tests-Pure-t6

hoed-tests-Pure-t7

hoed-tests-Stk-DoublingServer

hoed-tests-Stk-Insort2

hoed-tests-Stk-Example1

hoed-tests-Stk-Example3

hoed-tests-Stk-Example4

hoed-tests-Stk-IndirectRecursion

Flags

Automatic Flags
NameDescriptionDefault
buildpropexamples

Build example executables.

Disabled
buildexamples

Build example executables.

Disabled
validatepure

Build test cases to validate Hoed-pure.

Disabled
validatestk

Build test cases to validate Hoed-stk.

Disabled
validategeneric

Build test cases to validate deriving Observable for Generic types.

Disabled
validateprop

Build test cases to validate deriving judgements with properties.

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info