Commits · master · Richard Eisenberg / haskell

Sep 13, 2023
- Merge branch 'esyn' into 'master' · 28d1ccf5
  Richard Eisenberg authored 1 year ago
  
  Fix of issue #3: Add Rule E-SYN See merge request !1
  28d1ccf5
- Fix of issue #3 : Add Rule E-SYN · 87f4f2e3
  Artin Ghasivand authored 1 year ago and Richard Eisenberg committed 1 year ago
  
  87f4f2e3
Jul 24, 2023
- link to wiki · e9ac31ec
  Richard Eisenberg authored 1 year ago
  
  e9ac31ec
- Built PDF link expires after 30 days · 379e7819
  Richard Eisenberg authored 1 year ago
  
  379e7819
Nov 27, 2019
- Typos · d243bf26
  Richard Eisenberg authored 5 years ago
  
  d243bf26
- Monotype result sigs · 53952fcb
  Richard Eisenberg authored 5 years ago
  
  53952fcb
Oct 14, 2019
- Add FE judgment to LaTeX · de7276fa
  Richard Eisenberg authored 5 years ago
  
  de7276fa
Aug 17, 2019
- Multiple equations · 6c0cad11
  Richard Eisenberg authored 5 years ago
  
  6c0cad11
Aug 01, 2019
- Put taus in return type in FD-Fun · 97d562af
  Richard Eisenberg authored 5 years ago
  
  97d562af
Jul 24, 2019
- CI commentary · a15474fe
  Richard Eisenberg authored 5 years ago
  
  a15474fe
- CI · 8085ecef
  Richard Eisenberg authored 5 years ago
  
  8085ecef
- CI · 32e9db49
  Richard Eisenberg authored 5 years ago
  
  32e9db49
- CI · 259bf3cb
  Richard Eisenberg authored 5 years ago
  
  259bf3cb
- CI · eef05c7e
  Richard Eisenberg authored 5 years ago
  
  eef05c7e
- CI · 9701feca
  Richard Eisenberg authored 5 years ago
  
  9701feca
- CI · 06d81c33
  Richard Eisenberg authored 5 years ago
  
  06d81c33
- CI · 3c47b038
  Richard Eisenberg authored 5 years ago
  
  3c47b038
- CI · 002ed5ac
  Richard Eisenberg authored 5 years ago
  
  002ed5ac
- CI · ad29dd39
  Richard Eisenberg authored 5 years ago
  
  ad29dd39
- CI · f8b2455a
  Richard Eisenberg authored 5 years ago
  
  f8b2455a
- CI · a5216b62
  Richard Eisenberg authored 5 years ago
  
  a5216b62
- CI · 654e342d
  Richard Eisenberg authored 5 years ago
  
  654e342d
- CI · 655856f5
  Richard Eisenberg authored 5 years ago
  
  655856f5
- CI · cd8bf590
  Richard Eisenberg authored 5 years ago
  
  cd8bf590
- CI · a89dc6b0
  Richard Eisenberg authored 5 years ago
  
  a89dc6b0
- CI · 7c413957
  Richard Eisenberg authored 5 years ago
  
  7c413957
- CI · a5bbdd41
  Richard Eisenberg authored 5 years ago
  
  a5bbdd41
- CI · ec5c1dce
  Richard Eisenberg authored 5 years ago
  
  ec5c1dce
- CI · d171c195
  Richard Eisenberg authored 5 years ago
  
  d171c195
- CI · dabdd47f
  Richard Eisenberg authored 5 years ago
  
  dabdd47f
- CI · ba547e53
  Richard Eisenberg authored 5 years ago
  
  ba547e53
- CI · 8875f17c
  Richard Eisenberg authored 5 years ago
  
  8875f17c
- CI · b767509c
  Richard Eisenberg authored 5 years ago
  
  b767509c
- CI · 726d9c3a
  Richard Eisenberg authored 5 years ago
  
  726d9c3a
- CI · 8cc976c7
  Richard Eisenberg authored 5 years ago
  
  8cc976c7
- CI · 8d45cdb6
  Richard Eisenberg authored 5 years ago
  
  8d45cdb6
- CI · 98eb615e
  Richard Eisenberg authored 5 years ago
  
  98eb615e
- Test gitlab CI · 315c88f9
  Richard Eisenberg authored 5 years ago
  
  315c88f9
- Result signatures · 39246f92
  Richard Eisenberg authored 5 years ago
  
  39246f92
- FunBind · cc85afd8
  Richard Eisenberg authored 5 years ago
  
  cc85afd8