I’m happy to announce that I successfully defended my PhD Thesis!
Here are some news about Tyre, along with release of version 0.3.
I’m happy to announce the release of Pumping, a library to leverage the OCaml type system to recognize regular languages.
I’m happy to announce the release of Tyre, a library for Typed Regular Expressions.
The diff list trick is a way to compute with lists in types. It allows to create heterogeneous lists which is very useful, in particular in the
Format module from the standard library.