Commits · master · Russi Chatterjee / monoid.space

Browse files

Sep 27, 2025
- add stdlib ops for common types · 5cc1d4c8
  Russi Chatterjee authored Sep 28, 2025
  
  5cc1d4c8
- re-add data struct ops · bedb4a37
  Russi Chatterjee authored Sep 28, 2025
  
  bedb4a37
- better explanations · 56bf4bd9
  Russi Chatterjee authored Sep 28, 2025
  
  56bf4bd9
- more tweaks · d0bc4138
  Russi Chatterjee authored Sep 28, 2025
  
  d0bc4138
- basic syntax · d68056b0
  Russi Chatterjee authored Sep 27, 2025
  
  d68056b0
- add type inference, immutability, and variable scope · 08ff6e06
  Russi Chatterjee authored Sep 27, 2025
  
  08ff6e06
- clean up functions from typeps · 3adb60f7
  Russi Chatterjee authored Sep 27, 2025
  
  3adb60f7
- update toc · bfe701c2
  Russi Chatterjee authored Sep 27, 2025
  
  bfe701c2
- remove other and update index · 6d4d73b9
  Russi Chatterjee authored Sep 27, 2025
  
  6d4d73b9
- add project management · deb522c4
  Russi Chatterjee authored Sep 27, 2025
  
  deb522c4
- other versions · bd21dafb
  Russi Chatterjee authored Sep 27, 2025
  
  bd21dafb
- add vscode and docs · bc1fa63a
  Russi Chatterjee authored Sep 27, 2025
  
  bc1fa63a
Sep 21, 2025
- fix multiple issues in types.md documentation · 88903eda
  Russi Chatterjee authored Sep 22, 2025
  88903eda
- clean up · c04abd36
  Russi Chatterjee authored Sep 22, 2025
  
  c04abd36
- save · 92e3daf5
  Russi Chatterjee authored Sep 21, 2025
  
  92e3daf5
- sanitize types · 2bf95c63
  Russi Chatterjee authored Sep 21, 2025
  
  2bf95c63
- expand primitive types table with comprehensive type coverage · 5f9bca36
  Russi Chatterjee authored Sep 21, 2025
  5f9bca36
- expand Char and String types section with comprehensive examples · 3149564e
  Russi Chatterjee authored Sep 21, 2025
  3149564e
- add custom type creation section with inductive types · 72190070
  Russi Chatterjee authored Sep 21, 2025
  72190070
- fix typo: correct 'Declations' to 'Declarations' · 5c4587fa
  Russi Chatterjee authored Sep 21, 2025
  5c4587fa
- add typess · 5114276a
  Russi Chatterjee authored Sep 21, 2025
  
  5114276a
- update naming conventions in documentation · f1558fbd
  Russi Chatterjee authored Sep 21, 2025
  
  f1558fbd
Sep 20, 2025
- fix naming convention: use camelCase for functions and variables · aa165d39
  Russi Chatterjee authored Sep 20, 2025
  aa165d39
- remove "you" · 25ff86a0
  Russi Chatterjee authored Sep 20, 2025
  
  25ff86a0
- add multiple files · 1c6c095e
  Russi Chatterjee authored Sep 20, 2025
  
  1c6c095e
- add library and executable targets docs · 0b75c269
  Russi Chatterjee authored Sep 20, 2025
  
  0b75c269
- project management in setup · ae65707d
  Russi Chatterjee authored Sep 20, 2025
  
  ae65707d
- fix formatting · 72e36326
  Russi Chatterjee authored Sep 20, 2025
  
  72e36326
- add markdown lint · 6327b6d4
  Russi Chatterjee authored Sep 20, 2025
  
  6327b6d4
- fix build · e61ea6ce
  Russi Chatterjee authored Sep 20, 2025
  
  e61ea6ce
Sep 15, 2025
- fix build · 6d5b7f05
  Russi Chatterjee authored Sep 15, 2025
  
  6d5b7f05
Sep 05, 2025
- new sections · 2bb0bb91
  Russi Chatterjee authored Sep 05, 2025
  
  2bb0bb91
- various fixes and corrections · 88769407
  Russi Chatterjee authored Sep 05, 2025
  
  88769407
- various fixes and corrections · 30b872b8
  Russi Chatterjee authored Sep 05, 2025
  
  30b872b8
- delete agda lang · 46c53f77
  Russi Chatterjee authored Sep 05, 2025
  
  46c53f77
Jun 24, 2025
- save workspace · 05a19326
  Russi Chatterjee authored Jun 24, 2025
  
  05a19326
May 16, 2025
- sve · c697c891
  Russi Chatterjee authored May 16, 2025
  
  c697c891
- delete useless files and create tactics · aa97dc50
  Russi Chatterjee authored May 16, 2025
  
  aa97dc50
May 03, 2025
- save generated · e3dabc01
  Russi Chatterjee authored May 03, 2025
  
  e3dabc01
Mar 14, 2025
- md format · 6d309ad7
  Russi Chatterjee authored Mar 14, 2025
  
  6d309ad7