Commits · PREP#41 · Thomas Heartman / blog

Browse files

Aug 11, 2019
- Cleans up git conditional include post. · 39eda9fe
  Thomas Hartmann authored Aug 11, 2019
  
  View commit 39eda9fe 2 tags
  39eda9fe
- Uses definition list for tripups. · f084a0d8
  Thomas Hartmann authored Aug 11, 2019
  
  f084a0d8
- polishes git config post · 6f507d0c
  Thomas Hartmann authored Aug 11, 2019
  
  6f507d0c
Aug 09, 2019
- Adds git comment char idea. · 581238fe
  Thomas Hartmann authored Aug 09, 2019
  
  581238fe
- Adds initial idea for commit templates. · 1ad6e5e4
  Thomas Hartmann authored Aug 09, 2019
  
  1ad6e5e4
- Adds headings. · 66279e53
  Thomas Hartmann authored Aug 09, 2019
  
  66279e53
- Adds first pass of conditional includes post. · eac0ec14
  Thomas Hartmann authored Aug 09, 2019
  
  eac0ec14
- Adds more flesh to the git gud post ideas. · 1cabf490
  Thomas Hartmann authored Aug 09, 2019
  
  1cabf490
- adds more git gud ideas. · b9e6c52e
  Thomas Hartmann authored Aug 09, 2019
  
  b9e6c52e
- Adds more thoughts for conditional includes post. · 3cc39d39
  Thomas Hartmann authored Aug 09, 2019
  
  3cc39d39
Aug 07, 2019
- Adds idea for git conditional includes. · 439a87e9
  Thomas Hartmann authored Aug 07, 2019
  
  439a87e9
Aug 06, 2019
- Adds notes for chapter 7 of hpffp · f53793d9
  Thomas Hartmann authored Aug 06, 2019
  
  f53793d9
Aug 05, 2019
- [DEPLOY][GitLab][Build Bot] · 3aef7171
  GitLab Build Bot authored Aug 05, 2019
  
  View commit 3aef7171 2 tags
  3aef7171
- Merge branch 'publish-hpffp-5' into 'master' · eef6923a
  Thomas Hartmann authored Aug 05, 2019
  eef6923a
- Adds further polish to hpffp5. · e31e3d27
  Thomas Hartmann authored Aug 05, 2019
  
  e31e3d27
Aug 04, 2019
- publishes post · 9263b9c1
  Thomas Hartmann authored Aug 04, 2019
  
  9263b9c1
- Updates and polishes chapter 5. · e4cb81c0
  Thomas Hartmann authored Aug 04, 2019
  
  e4cb81c0
- Adds more type sig ideas. · f0a4b0a6
  Thomas Hartmann authored Aug 04, 2019
  
  f0a4b0a6
- Adds notes for chapter VI · 2dcb6e4f
  Thomas Hartmann authored Aug 04, 2019
  
  2dcb6e4f
- Fixes title post numbering. · 1ee1a1b1
  Thomas Hartmann authored Aug 04, 2019
  
  1ee1a1b1
Aug 02, 2019
- Adds some ideas for type sigs. · 4125f3c0
  Thomas Hartmann authored Aug 02, 2019
  
  4125f3c0
Jul 29, 2019
- [DEPLOY][GitLab][Build Bot] · b7fa22cd
  GitLab Build Bot authored Jul 29, 2019
  
  View commit b7fa22cd 2 tags
  b7fa22cd
- Fixes wording mistake. Curly braces -> square brackets. · 545a7ab3
  Thomas Hartmann authored Jul 29, 2019
  
  545a7ab3
- [DEPLOY][GitLab][Build Bot] · fbbc9b75
  GitLab Build Bot authored Jul 29, 2019
  
  View commit fbbc9b75 2 tags
  fbbc9b75
- Publishes hpffp4. · 80e09130
  Thomas Hartmann authored Jul 29, 2019
  
  80e09130
- final updates to post · 0c10aba0
  Thomas Hartmann authored Jul 29, 2019
  
  0c10aba0
- minor tweaks. · 8c2fdd67
  Thomas Hartmann authored Jul 29, 2019
  
  8c2fdd67
- Adds totality draft. · 674e0474
  Thomas Hartmann authored Jul 29, 2019
  
  674e0474
- Adds headers for chaps 4 and 5. · 253eb210
  Thomas Hartmann authored Jul 29, 2019
  
  253eb210
Jul 28, 2019
- Adds a couple ideas. · 0f8f79d8
  Thomas Hartmann authored Jul 28, 2019
  
  0f8f79d8
- fleshes out chapter 5 · b196f02c
  Thomas Hartmann authored Jul 28, 2019
  
  b196f02c
- trims intro · 498e1fc2
  Thomas Hartmann authored Jul 28, 2019
  
  498e1fc2
- definition list formatting update. · cbc09340
  Thomas Hartmann authored Jul 28, 2019
  cbc09340
- minor tweaks · 65bb2798
  Thomas Hartmann authored Jul 28, 2019
  
  65bb2798
- fleshes out haskell from first principles part 4 · 81e9798d
  Thomas Hartmann authored Jul 28, 2019
  
  81e9798d
Jul 22, 2019
- [DEPLOY][GitLab][Build Bot] · f14a2dc0
  GitLab Build Bot authored Jul 22, 2019
  
  View commit f14a2dc0 2 tags
  f14a2dc0
- Publishes hpffp3. · 0329af8a
  Thomas Hartmann authored Jul 22, 2019
  
  0329af8a
- Changes emphasis from bold to italics. · 1deccf2a
  Thomas Hartmann authored Jul 22, 2019
  
  1deccf2a
- Adds aside on partial vs total functions. · 62e23792
  Thomas Hartmann authored Jul 22, 2019
  
  62e23792
- Adds description. · b27674eb
  Thomas Hartmann authored Jul 22, 2019
  
  b27674eb