Skip to content

Commit

Permalink
New explanation about template universe polymorphism (#34)
Browse files Browse the repository at this point in the history 
* New explanation: Explanation_Template_Polymorphism.v.

* Use Check consistently in Explanation_Template_Polymorphism.v

* Clarify Girard"s paradox resolution in Explanation_Template_Polymorphism.v

* Add main contributors field in Explanation_Template_Polymorphism.v

* Incorporate review feedback in Explanation_Template_Polymorphism.v

* Incorporate more feedback in Explanation_Template_Polymorphism.v
  • Loading branch information
@lephe
lephe committed Sep 1, 2024
1 parent 6f9e811 commit 8cd5d40
Show file tree
Hide file tree
Showing 2 changed files with 411 additions and 0 deletions.
Loading

0 comments on commit 8cd5d40

Please sign in to comment.