Commits · main · Eugen Bronasco / Arboretum.hs · GitLab

Snippets Groups Projects

May 24, 2025
- Rebuilt the cabal file automatically, left the version untouched since there... · de55aadf
  Eugen Bronasco authored 1 week ago
  de55aadf
- Updated the cabal file. · 3b2852b1
  Eugen Bronasco authored 1 week ago
  
  3b2852b1
- Updated config before the Hackage upload. · 2b5be222
  Eugen Bronasco authored 1 week ago
  
  2b5be222
May 23, 2025
- Minor readme fix. · 4678899e
  Eugen Bronasco authored 1 week ago
  
  4678899e
- Updated the configs, docs, and readme. · ea2b352b
  Eugen Bronasco authored 1 week ago
  
  ea2b352b
Jan 23, 2025
- Uploaded the manual. · 6743c665
  Eugen authored 4 months ago
  
  6743c665
Jan 06, 2025
- Added @Texifiable@ instance to @Cycle t@ to display @PlanarAromatic t@ · 1ef7aac9
  Eugen authored 4 months ago
  
  1ef7aac9
Oct 30, 2024
- Update README.md · b56ec158
  Eugen Bronasco authored 7 months ago
  
  b56ec158
Oct 29, 2024
- Update 7 files · c94af888
  Eugen Bronasco authored 7 months ago
  c94af888
- Update LICENSE · 4bf84ba0
  Eugen Bronasco authored 7 months ago
  
  4bf84ba0
Oct 27, 2024
- Merge branch '48-aromatic-substitution' into 'main' · 98929ea1
  Eugen Bronasco authored 7 months ago
  98929ea1
- Final touches. · 5ced788f
  Eugen authored 7 months ago
  
  5ced788f
Sep 11, 2024
- Finished reviewing the code. · 9952d1c3
  Eugen authored 8 months ago
  
  9952d1c3
Sep 09, 2024
- Reviewed `Graph.hs` and almost finished `AromaticTree.hs`. · 9f7b0300
  Eugen authored 8 months ago
  
  9f7b0300
Sep 08, 2024
- Reviewing `AromaticTree.hs` · 92400716
  Eugen authored 8 months ago
  
  92400716
Sep 07, 2024
- Started abstracting out `PlanarTree` and `Tree` to `IsTree` typeclass. · a7110ce3
  Eugen authored 8 months ago
  
  a7110ce3
Sep 04, 2024
- Finished reviewing, documenting, doctesting `RootedTree.hs` · 4d76a31d
  Eugen authored 9 months ago
  
  4d76a31d
Sep 03, 2024
- Finished reviewing, documenting, doctesting, QuickChecking `Symbolics.hs` · e8d62f87
  Eugen authored 9 months ago
  
  e8d62f87
Sep 01, 2024
- Finished reviewing `Symbolics.hs` · a27e57c7
  Eugen authored 9 months ago
  
  a27e57c7
Jun 28, 2024
- Finished substitution for aromatic forests. Need to doc and test. · d2667e33
  Eugen authored 11 months ago
  
  d2667e33
Jun 27, 2024
- Finished implementing the substitution using the new syntactic tree implementation · 85949cb9
  Eugen authored 11 months ago
  
  85949cb9
Jun 25, 2024
- Defined `eval`. · fbac0865
  Eugen authored 11 months ago
  
  fbac0865
Jun 21, 2024
- Defined abstract syntax tree, abstract operations to go in its nodes,... · 03e37cdf
  Eugen authored 11 months ago
  03e37cdf
Jun 20, 2024
- Started implemented an idea: syntactic tree is a general and abstract... · 3e159c94
  Eugen authored 11 months ago
  3e159c94
Jun 19, 2024
- Refactored `AromaticTree.hs` and started moving the substitution part there.... · f3413788
  Eugen authored 11 months ago
  f3413788
Jun 18, 2024
- Almost done refactoring `RootedTree.hs`. Moved the substitution of rooted... · 1ae81f6e
  Eugen authored 11 months ago
  1ae81f6e
Jun 07, 2024
- Changed naming of functions in `Substitution` module to fit with the manual.... · fdd786c9
  Eugen authored 11 months ago
  fdd786c9
Jun 06, 2024
- Tried making an operad typeclass to generalize the substitution idea and make... · bf5457c5
  Eugen authored 11 months ago
  bf5457c5
- Done with the aromatic substitution. · c4d9e7c9
  Eugen authored 11 months ago
  
  c4d9e7c9
May 15, 2024
- done! · 1decd364
  Eugen authored 1 year ago
  
  1decd364
May 14, 2024
- Split Aromas into two types: PAromas and Aromas · 8554d18b
  Eugen authored 1 year ago
  
  8554d18b
May 03, 2024
- Almost done with the substitution. Ran into a problem with nested Traces where... · 485ab9c6
  Eugen authored 1 year ago
  485ab9c6
May 02, 2024
- Almost done. Got stuck at taking the trace of a marked aromatic tree. How to... · 2776ac31
  Eugen authored 1 year ago
  2776ac31
May 01, 2024
- Extended substitution from non-decorated trees to decorated forests. Need to... · 3fb65bdc
  Eugen authored 1 year ago
  3fb65bdc
Mar 26, 2024
- Merge pull request #46 from ebronasco/45-substitution-using-operads · becaefce
  Eugen Bronasco authored 1 year ago
  Unverified
  
  becaefce
- Added a doctest to `bilinear` in `Symbolics.hs` · a706a266
  Eugen authored 1 year ago
  
  a706a266
- Added documentation and doctests to `Substitution.hs` · 27196cbb
  Eugen authored 1 year ago
  
  27196cbb
- Implemented substitution of planar rooted trees. · d360b6d9
  Eugen authored 1 year ago
  
  d360b6d9
Mar 22, 2024
- 1. Implemented `bilinear` function based on `linear`. · 62bf4443
  Eugen authored 1 year ago
  62bf4443
Mar 21, 2024
- Merge pull request #44 from ebronasco/43-implement-aromatic-forests · 7df968e2
  Eugen Bronasco authored 1 year ago
  Unverified
  
  7df968e2