Index of /gists/posts

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]2015-01-31-phantom-types.html2024-06-24 17:45 5.4K 
[TXT]2015-08-12-spqr.html2016-07-26 17:47 4.7K 
[TXT]2015-09-07-binary-orphans.html2024-06-24 17:45 4.5K 
[TXT]2015-09-15-single-element-type.html2024-06-24 17:45 4.6K 
[TXT]2015-10-07-rosa-rosa-rosam.html2016-07-26 17:47 3.7K 
[TXT]2015-11-09-JuicyPixels-scale-dct.html2024-06-24 17:45 4.3K 
[TXT]2015-11-28-carpe-diem.html2016-07-26 17:47 4.1K 
[TXT]2015-12-07-tu-quoque.html2016-07-26 17:47 4.7K 
[TXT]2016-05-10-monad-classes.html2024-06-24 17:45 5.1K 
[TXT]2016-05-21-servant-swagger-ui.html2024-06-24 17:45 4.4K 
[TXT]2016-06-12-lifted.html2024-06-24 17:45 5.2K 
[TXT]2016-06-15-poly-nfdata.html2024-06-24 17:45 4.6K 
[TXT]2016-06-16-existential-constraint.html2024-06-24 17:45 5.0K 
[TXT]2016-07-01-overlapping-instances.html2024-06-24 17:45 4.3K 
[TXT]2016-07-07-warp-http-client-unix-socket.html2024-06-24 17:45 4.4K 
[TXT]2016-07-11-abstraction-evolution.html2024-06-24 17:45 5.9K 
[TXT]2016-07-16-dependency-problem.html2024-06-24 17:45 4.1K 
[TXT]2016-07-24-sop-diff.html2024-06-24 17:45 7.1K 
[TXT]2017-01-17-linear-thoughts.html2024-06-24 17:45 20K 
[TXT]2017-03-03-servant-and-db.html2024-06-24 17:45 20K 
[TXT]2017-03-13-why-there-is-no-agetter.html2024-06-24 17:45 25K 
[TXT]2017-03-15-solution-to-servant-type-indentation-problem.html2024-06-24 17:45 26K 
[TXT]2017-03-20-affine-traversal.html2024-06-24 17:45 50K 
[TXT]2017-03-31-compiling-lenses.html2024-06-24 17:45 64K 
[TXT]2017-04-07-mutated-lens.html2024-06-24 17:45 25K 
[TXT]2017-04-18-glassery.html2024-06-24 17:45 246K 
[TXT]2017-04-24-indexed-poptics.html2017-04-26 18:45 61K 
[TXT]2017-04-26-indexed-poptics.html2024-06-24 17:45 108K 
[TXT]2017-06-03-comments-on-whats-different-in-dotty.html2024-06-24 17:45 15K 
[TXT]2017-06-16-Alternative-exercises.html2017-06-16 20:36 11K 
[TXT]2017-06-16-alternative-exercises.html2024-06-24 17:45 16K 
[TXT]2017-06-30-splitmix.html2024-06-24 17:45 5.4K 
[TXT]2017-10-05-monoidal-vs-traversing.html2024-06-24 17:45 16K 
[TXT]2017-11-17-composing-getter-and-setter.html2024-06-24 17:45 32K 
[TXT]2017-11-21-fin-vec.html2024-06-24 17:45 16K 
[TXT]2017-11-22-why-peano-and-not-typelits.html2024-06-24 17:45 19K 
[TXT]2017-12-23-functor-optics.html2024-06-24 17:45 38K 
[TXT]2018-01-08-haskell-package-qa.html2024-06-24 17:45 31K 
[TXT]2018-02-20-single-free.html2018-02-21 13:30 141K 
[TXT]2018-02-21-single-free.html2024-06-24 17:45 414K 
[TXT]2018-03-08-typeclass-optics.html2024-06-24 17:45 19K 
[TXT]2018-03-28-achromatic-lens.html2024-06-24 17:45 44K 
[TXT]2018-05-12-singleton-container.html2024-06-24 17:45 10K 
[TXT]2018-05-28-squash.html2024-06-24 17:45 24K 
[TXT]2018-06-19-prisms-are-constructors.html2024-06-24 17:45 15K 
[TXT]2018-06-21-colors-in-lhs2tex.html2024-06-24 17:45 5.7K 
[TXT]2018-07-05-inspecting-debugging-simulating-clients-and-more.html2024-06-24 17:45 23K 
[TXT]2018-07-06-idiom-brackets-via-source-pluging.html2024-06-24 17:45 11K 
[TXT]2018-07-12-llc-in-agda.html2024-06-24 17:45 26K 
[TXT]2018-08-29-agda-termination-checker.html2024-06-24 17:45 21K 
[TXT]2018-09-13-regular-expressions-of-types.html2024-06-24 17:45 42K 
[TXT]2018-12-09-preload-trick.html2024-06-24 17:45 17K 
[TXT]2018-12-12-find-correct-laws.html2024-06-24 17:45 2.3M 
[TXT]2018-12-29-reviewN.html2024-06-24 17:45 17K 
[TXT]2019-03-14-topograph.html2024-06-24 17:45 15K 
[TXT]2019-03-21-flag.html2024-06-24 17:45 25K 
[TXT]2019-04-28-tabular.html2024-06-24 17:45 14K 
[TXT]2019-06-03-compat-packages.html2024-06-24 17:45 46K 
[TXT]2019-06-26-linear-church-encodings.html2024-06-24 17:45 60K 
[TXT]2019-07-03-from-modal-necessity-to-dill.html2024-06-24 17:45 22K 
[TXT]2019-07-04-docker-haskell-example.html2024-06-24 17:45 16K 
[TXT]2019-07-15-fancy-types-for-cassava.html2024-06-24 17:45 84K 
[TXT]2019-07-19-insertion-sort-toposorts.html2024-06-24 17:45 61K 
[TXT]2019-07-20-embedding-secret-data-into-docker-images.html2024-06-24 17:45 19K 
[TXT]2019-07-23-all-kinds-of-lattices.html2024-06-24 17:45 98K 
[TXT]2019-07-31-fmap-coerce-coerce.html2024-06-24 17:45 179K 
[TXT]2019-08-11-cabal-fmt.html2024-06-24 17:45 15K 
[TXT]2019-09-26-write-a-compiler.html2024-06-24 17:45 18K 
[TXT]2019-10-30-typing-with-leftovers.html2024-06-24 17:45 851K 
[TXT]2019-11-07-semi-semi-semi-semi.html2024-06-24 17:45 437K 
[TXT]2020-01-25-case-study-migration-from-lens-to-optics.html2024-06-24 17:45 43K 
[TXT]2020-02-09-compiling-haskell-to-javascript.html2024-06-24 17:45 35K 
[TXT]2020-03-06-latex-svg.html2024-06-24 17:45 71K 
[TXT]2020-04-27-overloaded-local-do.html2024-06-24 17:45 31K 
[TXT]2020-05-04-overloaded-categories.html2024-06-24 17:45 163K 
[TXT]2020-05-10-latex-svg.html2024-06-24 17:45 45K 
[TXT]2020-05-11-overloaded-unit.html2024-06-24 17:45 19K 
[TXT]2020-05-19-bitonic-sort.html2024-06-24 17:45 277K 
[TXT]2020-05-26-evolving-non-determinism.html2024-06-24 17:45 1.1M 
[TXT]2020-06-02-simulated-annealing.html2024-06-24 17:45 75K 
[TXT]2020-07-26-coerced-kind-of-new-optic-kind.html2024-06-24 17:45 26K 
[TXT]2020-08-03-bidi-pts.html2024-06-24 17:45 1.3M 
[TXT]2020-08-03-mutually-recursive-traversals.html2024-06-24 17:45 35K 
[TXT]2020-08-04-git-badc0de.html2024-06-24 17:45 30K 
[TXT]2020-08-28-indexed-fixpoint.html2024-06-24 17:45 147K 
[TXT]2020-08-30-cabal-fmt-0.1.4.html2024-06-24 17:45 12K 
[TXT]2020-09-04-integer-square-root.html2024-06-24 17:45 55K 
[TXT]2020-09-13-a-design-for-paths.html2024-06-24 17:45 11K 
[TXT]2020-11-14-true-is-false.html2024-06-24 17:45 9.3K 
[TXT]2020-12-18-dependent-linear.html2024-06-24 17:45 407K 
[TXT]2021-01-04-coindexed-optics.html2024-06-24 17:45 63K 
[TXT]2021-01-07-discrimination-benchmarks.html2024-06-24 17:45 24K 
[TXT]2021-01-08-indexed-optics-dilemma.html2024-06-24 17:45 9.3K 
[TXT]2021-05-19-dont-default-to-hashmap.html2024-06-24 17:45 18K 
[TXT]2021-09-09-leibniz-coercion.html2024-06-24 17:45 24K 
[TXT]2022-01-25-folding-unfoldable.html2024-06-24 17:45 18K 
[TXT]2022-09-30-thinnings.lagda.html2024-06-24 17:45 121K 
[TXT]2022-10-08-simplex.lagda.html2024-06-24 17:45 138K 
[TXT]2023-07-09-infix-pair-type-and-pattern.html2024-06-24 17:45 8.1K 
[TXT]2023-08-30-using-cabal-install-solver-as-sat-solver.html2024-06-24 17:45 25K 
[TXT]2023-10-12-use-traversals-for-batch-operations.html2024-06-24 17:45 21K 
[TXT]2023-10-17-more-traverals-and-more-cabal-sat.html2024-06-24 17:45 28K 
[TXT]2024-02-27-more-qualified-do.html2024-06-24 17:45 23K 
[TXT]2024-03-17-st-with-early-exit.html2024-06-24 17:45 18K 
[TXT]2024-04-01-implicit-arguments.html2024-06-24 17:45 28K 
[TXT]2024-04-12-core-inspection.html2024-06-24 17:45 14K 
[TXT]2024-04-18-warnings-criteria.html2024-06-24 17:45 23K 
[TXT]2024-04-21-a-note-about-coercions.html2024-06-24 17:45 12K 
[TXT]2024-05-28-cabal-fields.html2024-06-24 17:45 23K 
[TXT]2024-06-24-hashable-arch-native.html2024-06-24 17:45 14K 
Apache/2.4 Server at oleg.fi Port 80