pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-09-19 19:57:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
583 commits 1 branch 0 tags 1.6 MiB
Commit graph

9 commits

Author SHA1 Message Date
Adam Chlipala
0f72c50df0 Revising for next next lecture 2022-01-29 17:22:33 -05:00
Adam Chlipala
77f22213d8 Avoid a command only introduced in Coq 8.10, so that 8.9 keeps working 2020-02-10 13:44:35 -05:00
Adam Chlipala
295e095e98 Polymorphism: 8.10 update 2020-02-04 17:46:37 -05:00
Adam Chlipala
54576fa373 Revising Polymorphism 2018-02-11 19:06:52 -05:00
Adam Chlipala
643d44e524 Polymorphism: add a comment about the infamous quantifier-ordering issue with induction 2017-02-15 10:01:49 -05:00
Adam Chlipala
849b547c2d Polymorphism: syntax trees 2017-02-09 13:39:12 -05:00
Adam Chlipala
0e32a409d7 Polymorphism: trees 2017-02-09 12:54:27 -05:00
Adam Chlipala
b13baac51e Polymorphism: [zip] and [unzip] 2017-02-09 12:43:20 -05:00
Adam Chlipala
b89cb28352 Start of Polymorphism 2017-02-09 12:25:45 -05:00