Ximin Luo

Note: I wrote that last example 3 before I posted #447 so it still uses `SDecide` instead of `SEq`. It also works if you convert it to using `SEq`; both...

Another set of examples, this one relating to constraints instead of `ZipWith`: Again continuing from the code in #447, let's try to implement a general utility function that applies a...

Admittedly I hadn't gotten around to actually attempting to write a proof when I posted those examples - I couldn't find examples of proofs or hints on how to write...

Upon further exploration, it turns out the above OCaml type is not very easily composable. Haskell picks their definition since those can be composed with normal function composition. However due...

Glad you guys like the idea! Sure, I'll start writing up something that can be used.

I made a start over at https://gist.github.com/infinity0/3c8461ed60d806bb4d6616a03939788a in case anyone has opinions on the final structure. In the meantime I'll keep working on it when I have time.

Just read through the "Lenses are the coalgebras for the costate comonad" article linked in the `README.md`. Very interesting. Looks like the `s -> (a * (b -> t))` representation...

@llelf Throughout 2017 I developed that code a bit further in a side project I was doing, but never got it to a point where I was satisfied enough with...

This problem also exists with 4.02.3 Debian. The error is "correct" in the sense that `.opam/system/bin/ocaml` is indeed not bytecode executable. Not sure why this should block ocaml-top from using...

WeChat miniapps previously worked on LineageOS/MicroG versions from 2023 and Jan 2024, I used them successfully on these dates. But between then and now Feb 2025 something broke in microG...