Skip to content

Commit 44a48c7

Browse files
committed
Revised proposal
This proposal contains the revised syntax for givens which was discussed here and on contributors. # Conflicts: # content/typeclasses-syntax.md
1 parent 380412b commit 44a48c7

File tree

1 file changed

+282
-416
lines changed

1 file changed

+282
-416
lines changed

0 commit comments

Comments
 (0)