Skip to content

Fix type_classes examples - #85

Closed
Eagle941 wants to merge 1 commit into
leanprover:masterfrom
Eagle941:patch-1
Closed

Fix type_classes examples#85
Eagle941 wants to merge 1 commit into
leanprover:masterfrom
Eagle941:patch-1

Conversation

@Eagle941

Copy link
Copy Markdown

Fixing typo in typeclasses examples

Before

#eval double (10 : Int)
-- 100

After

#eval double (10 : Int)
-- 20

@Ritterbeck Ritterbeck mentioned this pull request Jan 27, 2024
@Ritterbeck

Copy link
Copy Markdown

Technically the code submitted in this pull request does make a valid correction; however, PR 77 offers a better correction, an extension of a previous example.

@Eagle941 Eagle941 closed this Mar 7, 2024
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.

2 participants