leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: general

Topic: Std.Internal.Parsec


Greg Shuflin (Dec 13 2024 at 10:05):

What's going on with this internal Parsec module? I assume this is based on the haskell parsec package, but it's in an internal module and seems to be undocumented? Is this intended to be publicly exposed at some point?

Markus Himmel (Dec 13 2024 at 11:02):

See my message here.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll