Directory listing for Hoed-0.3.6 source tarball
Hoed-0.3.6/examples/
- Insertion_Sort_elements_disappear.hs
- Parity.hs
- Rot13.hs
- Salary.hs
- SimpleHO.hs
- SternBrocot.lhs
- CNF_unsound_demorgan__with_properties/
- Digraph_not_data_invariant__with_properties/
- ExpressionSimplifier/
- FPretty/
- FPretty__CC/
- Nubsort/
- Queens__with_properties/
- Queens_defective_filter__with_properties/
- Raincat/
- XMonad_changing_focus_duplicates_windows/
- XMonad_changing_focus_duplicates_windows__CC/
- XMonad_changing_focus_duplicates_windows__test_only/
- XMonad_changing_focus_duplicates_windows__using_properties/
- ZLang/
- afp02Exercises/
- filter__with_properties/