Comment by andrewl-hn

And some proof assistant languages and frameworks. For a second I was really excited there, but this is another font with “programming ligatures”.