Skip to content

Conversation

tbagrel1
Copy link
Member

At the moment, only classes present in Prelude or Prelude.Linear are shown.

Copy link
Member Author

@tbagrel1 tbagrel1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note to myself: missing items

@tbagrel1 tbagrel1 marked this pull request as ready for review February 23, 2022 13:50
@tbagrel1 tbagrel1 force-pushed the tbagrel1/readme-class-table branch 2 times, most recently from b3bef03 to e1e72ae Compare February 25, 2022 14:43
Copy link
Member

@aspiwack aspiwack left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a good table. It's good to have. But I'm of the opinion that it's too big for a README. Let's put the table in a dedicated Markdown file, in the doc/ subdirectory, and put a link in the README.

@tbagrel1 tbagrel1 force-pushed the tbagrel1/readme-class-table branch 2 times, most recently from d1ede32 to 9588a63 Compare March 10, 2022 09:29
@tbagrel1 tbagrel1 changed the title Add class comparison between base and linear-base in the README Add class comparison between base and linear-base Mar 10, 2022
@tbagrel1 tbagrel1 force-pushed the tbagrel1/readme-class-table branch from 5481781 to 26cbdbd Compare March 16, 2022 12:36
@tbagrel1 tbagrel1 requested a review from aspiwack March 16, 2022 12:41
@tbagrel1 tbagrel1 force-pushed the tbagrel1/readme-class-table branch from 26cbdbd to 84c9afc Compare March 16, 2022 13:34
@tbagrel1 tbagrel1 merged commit 9d82f67 into master Mar 16, 2022
@tbagrel1 tbagrel1 deleted the tbagrel1/readme-class-table branch March 16, 2022 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add a comparison table between base and linear-base classes (and types, maybe) ?
3 participants