https://exaclior.github.io/2024-01-12T00:00:00+00:00https://exaclior.github.io/posts/curry-howard/2024-01-12T00:00:00+00:00https://exaclior.github.io/posts/2024-01-12T00:00:00+00:00https://exaclior.github.io/posts/maxima-config/2024-01-04T00:00:00+00:00https://exaclior.github.io/posts/coq-setup/2024-01-02T00:00:00+00:00https://exaclior.github.io/posts/ocaml-pie/2023-12-31T00:00:00+00:00https://exaclior.github.io/posts/ocaml/2023-12-30T00:00:00+00:00https://exaclior.github.io/posts/ocaml-proj/2023-12-30T00:00:00+00:00https://exaclior.github.io/posts/curryhoward/2023-12-28T00:00:00+00:00https://exaclior.github.io/tags/qem/2023-07-08T00:00:00+00:00https://exaclior.github.io/posts/ibmquantumutil/2023-07-08T00:00:00+00:00https://exaclior.github.io/tags/2023-07-08T00:00:00+00:00https://exaclior.github.io/tags/adt/2023-07-04T00:00:00+00:00https://exaclior.github.io/posts/adt/2023-07-04T00:00:00+00:00https://exaclior.github.io/tags/julia/2023-06-07T21:43:39+08:00https://exaclior.github.io/posts/juliabeginner/2023-06-07T21:43:39+08:00https://exaclior.github.io/hackathons/2022-08-09T16:08:49+08:00https://exaclior.github.io/resources/2022-08-08T09:22:32+08:00https://exaclior.github.io/projs/2022-08-06T15:51:50+08:00https://exaclior.github.io/about/2022-08-05T19:30:20+08:00