Commits · 5971e900af8e5e29eb4b9bc0841b786b921a6c97 · research / cpdt

11 Nov, 2009 1 commit
- Start of MoreDep port; new [dep_destruct] based on [dependent destruction] · 133d0628
  Adam Chlipala authored 15 years ago
  
  133d0628
09 Nov, 2009 1 commit
- Ported Subset · cffeeacc
  Adam Chlipala authored 15 years ago
  
  cffeeacc
06 Nov, 2009 1 commit
- Parts I want to keep compile with 8.2 · e1ab379e
  Adam Chlipala authored 15 years ago
  
  e1ab379e
07 Oct, 2008 1 commit
- Remove -impredicative-set · 83fd5496
  Adam Chlipala authored 16 years ago
  
  83fd5496
05 Oct, 2008 1 commit
- Subset exercises · aaab7fde
  Adam Chlipala authored 16 years ago
  
  aaab7fde
03 Oct, 2008 8 commits
- Templatizing Subset · 13c30b7f
  Adam Chlipala authored 16 years ago
  
  13c30b7f
- Spell check · 93bc7ff8
  Adam Chlipala authored 16 years ago
  
  93bc7ff8
- Type-checking example, with discussion · 74b44d69
  Adam Chlipala authored 16 years ago
  
  74b44d69
- Break into Parts · ae07f650
  Adam Chlipala authored 16 years ago
  
  ae07f650
- maybe and sumor · 28f1bb13
  Adam Chlipala authored 16 years ago
  
  28f1bb13
- Code for type-checking example · 5eac1280
  Adam Chlipala authored 16 years ago
  
  5eac1280
- sumbool · 25fa3310
  Adam Chlipala authored 16 years ago
  
  25fa3310
- Start of Subset · 817d5d5f
  Adam Chlipala authored 16 years ago
  
  817d5d5f