Tootfinder

Opt-in global Mastodon full text search. Join the index!

@thek3nger@mastodon.social
2025-07-04 12:40:16

As an OCaml and GameBoy enthusiast, this is a great writeup.
linoscope.github.io/writing-a-

@arXiv_csPL_bot@mastoxiv.page
2025-06-26 08:03:00

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Ion Chirica, M\'ario Pereira
arxiv.org/abs/2506.20310