New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add PrettyAnn type class #256

Open

mmhat wants to merge 1 commit into quchen:master from mmhat:222-pretty-ann

mmhat commented Nov 4, 2024

This PR adds a PrettyAnn type class that supports embedding annotations in the Doc.

Fixes #222

mmhat force-pushed the 222-pretty-ann branch 2 times, most recently from bc72da4 to 117c8fb Compare

November 4, 2024 08:19

mmhat marked this pull request as ready for review

November 4, 2024 08:19


          Added PrettyAnn class (quchen#222)

931f83e

mmhat force-pushed the 222-pretty-ann branch from 117c8fb to 931f83e Compare

November 4, 2024 08:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet