https://funcp.org/ weekly 1.0 https://funcp.org/archive monthly 0.5 https://funcp.org/async-in-haskell 2026-05-24 monthly 0.5 https://funcp.org/building-a-cas-in-ocaml-part-1 2026-04-06 monthly 0.5 https://funcp.org/building-a-cas-in-ocaml-part-2 2026-04-13 monthly 0.5 https://funcp.org/building-a-cas-in-ocaml-part-3 2026-04-20 monthly 0.5 https://funcp.org/building-a-cas-in-ocaml-part-4 2026-04-27 monthly 0.5 https://funcp.org/building-a-cas-in-ocaml-part-5 2026-05-04 monthly 0.5 https://funcp.org/c-interop-in-ocaml 2026-06-07 monthly 0.5 https://funcp.org/collections monthly 0.5 https://funcp.org/dockerizing-ocaml-binaries 2026-07-26 monthly 0.5 https://funcp.org/effect-handlers-in-ocaml 2026-07-12 monthly 0.5 https://funcp.org/functional-programming-in-cpp 2026-08-16 monthly 0.5 https://funcp.org/functional-programming-in-python 2026-09-20 monthly 0.5 https://funcp.org/gadts-in-ocaml 2026-06-28 monthly 0.5 https://funcp.org/haskell-deriving-strategies 2026-08-09 monthly 0.5 https://funcp.org/implementing-sat-in-ocaml-part-1 2026-08-21 monthly 0.5 https://funcp.org/implementing-sat-in-ocaml-part-2 2026-08-28 monthly 0.5 https://funcp.org/implementing-sat-in-ocaml-part-3 2026-09-04 monthly 0.5 https://funcp.org/implementing-sat-in-ocaml-part-4 2026-09-11 monthly 0.5 https://funcp.org/implementing-sat-in-ocaml-part-5 2026-09-18 monthly 0.5 https://funcp.org/intro-to-alcotest 2026-06-14 monthly 0.5 https://funcp.org/intro-to-dune 2026-07-05 monthly 0.5 https://funcp.org/intro-to-lean 2026-09-06 monthly 0.5 https://funcp.org/intro-to-odoc 2026-08-23 monthly 0.5 https://funcp.org/intro-to-opam 2026-07-19 monthly 0.5 https://funcp.org/intro-to-yojson 2026-09-12 monthly 0.5 https://funcp.org/introduction-to-irmin 2026-09-05 monthly 0.5 https://funcp.org/lens-in-haskell 2026-05-31 monthly 0.5 https://funcp.org/parsing-with-menhir 2026-08-02 monthly 0.5 https://funcp.org/ppx-in-practice 2026-06-21 monthly 0.5 https://funcp.org/profiling-ghc-programs 2026-08-30 monthly 0.5 https://funcp.org/tags monthly 0.5 https://funcp.org/tail-calls 2026-09-13 monthly 0.5 https://funcp.org/typeclasses-in-depth 2026-09-19 monthly 0.5 https://funcp.org/wiki monthly 0.5 https://funcp.org/wiki/algorithm-d monthly 0.5 https://funcp.org/wiki/berlekamp monthly 0.5 https://funcp.org/wiki/canonical-form monthly 0.5 https://funcp.org/wiki/cantor-zassenhaus monthly 0.5 https://funcp.org/wiki/cdcl monthly 0.5 https://funcp.org/wiki/chase-lev-deque monthly 0.5 https://funcp.org/wiki/conflict-analysis monthly 0.5 https://funcp.org/wiki/congruence-closure monthly 0.5 https://funcp.org/wiki/constraint-kinds monthly 0.5 https://funcp.org/wiki/cps monthly 0.5 https://funcp.org/wiki/dependent-type monthly 0.5 https://funcp.org/wiki/deriving-strategy monthly 0.5 https://funcp.org/wiki/difference-logic monthly 0.5 https://funcp.org/wiki/dimacs monthly 0.5 https://funcp.org/wiki/dpll monthly 0.5 https://funcp.org/wiki/dpll-t monthly 0.5 https://funcp.org/wiki/gadt monthly 0.5 https://funcp.org/wiki/groebner-basis monthly 0.5 https://funcp.org/wiki/hensel-lifting monthly 0.5 https://funcp.org/wiki/higher-kinded-type monthly 0.5 https://funcp.org/wiki/karatsuba monthly 0.5 https://funcp.org/wiki/kernel monthly 0.5 https://funcp.org/wiki/landau-mignotte monthly 0.5 https://funcp.org/wiki/modular-gcd monthly 0.5 https://funcp.org/wiki/monomial-order monthly 0.5 https://funcp.org/wiki/orphan-instance monthly 0.5 https://funcp.org/wiki/overlapping-instances monthly 0.5 https://funcp.org/wiki/partial-fractions monthly 0.5 https://funcp.org/wiki/phantom-type monthly 0.5 https://funcp.org/wiki/pigeonhole monthly 0.5 https://funcp.org/wiki/pseudo-division monthly 0.5 https://funcp.org/wiki/pure-literal-elimination monthly 0.5 https://funcp.org/wiki/refinement-type monthly 0.5 https://funcp.org/wiki/sat monthly 0.5 https://funcp.org/wiki/smt monthly 0.5 https://funcp.org/wiki/square-free-decomposition monthly 0.5 https://funcp.org/wiki/subresultant-prs monthly 0.5 https://funcp.org/wiki/swinnerton-dyer monthly 0.5 https://funcp.org/wiki/theory-solver monthly 0.5 https://funcp.org/wiki/unit-propagation monthly 0.5 https://funcp.org/wiki/vsids monthly 0.5 https://funcp.org/wiki/watched-literals monthly 0.5 https://funcp.org/wiki/weak-reference monthly 0.5