Commits · main · fResult Sila / Just Haskell · GitLab

Aug 14, 2023
- Added prove · 8a223e8f
  fResult Sila authored Aug 14, 2023
  
  8a223e8f
Aug 02, 2023
- Add Induction for foldr' function · f5b01ed9
  fResult Sila authored Aug 02, 2023
  
  f5b01ed9
- Add Induction for foldr' function · 3d7a7f42
  fResult Sila authored Aug 02, 2023
  
  3d7a7f42
- Improve sum' function · 148d1054
  fResult Sila authored Aug 02, 2023
  
  148d1054
- Merge branch 'main' of gitlab.com:fresult-learning/just-haskell · 91dcc36a
  fResult Sila authored Aug 02, 2023
  
  91dcc36a
- Break down how to pattern and re-writing map-sum function · 9cd7e505
  fResult Sila authored Aug 02, 2023
  
  9cd7e505
- Merge branch 'main' of gitlab.com:fresult-learning/just-haskell · 11ca1f4d
  fResult Sila authored Aug 02, 2023
  
  11ca1f4d
- Break down how to pattern and re-writing map-sum function · 56700401
  fResult Sila authored Aug 02, 2023
  
  56700401
- Break down how to pattern and re-writing map-sum function · 0e76fc51
  fResult Sila authored Aug 02, 2023
  
  0e76fc51
- Try implement sum' function · 3548cb3d
  fResult Sila authored Aug 02, 2023
  
  3548cb3d
Aug 01, 2023
- Break down how to pattern and re-writing map function · 124736b9
  fResult Sila authored Aug 01, 2023
  
  124736b9
- Merge branch 'main' of gitlab.com:fresult-learning/just-haskell · 0c467a89
  fResult Sila authored Aug 01, 2023
  0c467a89
- Add some usage examples · a9dc82cc
  fResult Sila authored Aug 01, 2023
  
  a9dc82cc
- Add some usage examples · 76ae865c
  fResult Sila authored Aug 01, 2023
  
  76ae865c
- Refactor uniq for more readability · 45a536fc
  fResult Sila authored Aug 01, 2023
  
  45a536fc
- Refactor uniq for more readability · 63f493b9
  fResult Sila authored Aug 01, 2023
  
  63f493b9
- Try implement uniq function · e4a06f23
  fResult Sila authored Aug 01, 2023
  
  e4a06f23
- Try implement elem' function · e27889e7
  fResult Sila authored Aug 01, 2023
  
  e27889e7
- Try implement reverse' function · ebcf9307
  fResult Sila authored Aug 01, 2023
  
  ebcf9307
- Add concat and ghci to workspace dictionary · 30dc57ed
  fResult Sila authored Aug 01, 2023
  
  30dc57ed
Jul 31, 2023
- Try implement +++ function · 7a12ac48
  fResult Sila authored Aug 01, 2023
  
  7a12ac48
- Try implement concat' function · 3eff9ea4
  fResult Sila authored Aug 01, 2023
  
  3eff9ea4
- Try implement map' function · e63260e9
  fResult Sila authored Jul 31, 2023
  
  e63260e9
- Try implement filter' using guard · 22416cc6
  fResult Sila authored Jul 31, 2023
  
  22416cc6
- Try implement filter' · a8b440a0
  fResult Sila authored Jul 31, 2023
  
  a8b440a0
- Try create count'' that's not too general, not too specific · 2e403d1e
  fResult Sila authored Jul 31, 2023
  
  2e403d1e
- Try using sum' nats · 0299112b
  fResult Sila authored Jul 31, 2023
  
  0299112b
- Try implement toNats and sum' functions · 925b2ad5
  fResult Sila authored Jul 31, 2023
  
  925b2ad5
- Try implement count' function for Nat data type · 697548e5
  fResult Sila authored Jul 31, 2023
  
  697548e5
- Try Implement toInteger' function · 08b07421
  fResult Sila authored Jul 31, 2023
  
  08b07421
- Try to implement Class instance Eq for Nat · 7ca9fcde
  fResult Sila authored Jul 31, 2023
  
  7ca9fcde
- Remove scala configurations · 4fb67798
  fResult Sila authored Jul 31, 2023
  
  4fb67798
- Try creating Printable type class · c3a0658c
  fResult Sila authored Jul 31, 2023
  
  c3a0658c
Jul 28, 2023
- Try creating data types and function types for the SnakeLadder game and let... · 7c702e15
  fResult Sila authored Jul 28, 2023
  7c702e15
- Try implement composable functions · c5c86418
  fResult Sila authored Jul 28, 2023
  
  c5c86418
Jul 27, 2023
- Try creaing Algebraic Data Types · 3faf0f5e
  fResult Sila authored Jul 27, 2023
  
  3faf0f5e
- Try create some and product type · 07af1179
  fResult Sila authored Jul 27, 2023
  
  07af1179
Jul 25, 2023
- Try using Record Types for each Shape data type · 57b8fbc3
  fResult Sila authored Jul 25, 2023
  
  57b8fbc3
- Use constructor for Score data type instead · 7ce8d2f4
  fResult Sila authored Jul 25, 2023
  
  7ce8d2f4
- Declare Score type for grading · 11458de2
  fResult Sila authored Jul 25, 2023
  
  11458de2