1. 20 Nov, 2024 1 commit
  2. 19 Nov, 2024 1 commit
  3. 18 Nov, 2024 5 commits
  4. 14 Nov, 2024 3 commits
  5. 13 Nov, 2024 2 commits
  6. 12 Nov, 2024 1 commit
  7. 11 Nov, 2024 16 commits
  8. 05 Nov, 2024 2 commits
    • Grégoire Locqueville's avatar
      Add :ggload command, which loads all `Prelude`s · eb39fd6b
      Grégoire Locqueville authored
      The previous commit did not work, because GHCi executed the contents of
      `.ghci` *before* loading the project.
      This commit makes a new command, `:ggload`, available from GHCi when in
      the Gargantext project: typing `:ggload` will make available all symbols
      from modules named `Prelude` in the Gargantext project.
      The name `:ggload` as well as the set of modules to import are still
      open to discussion.
      eb39fd6b
    • Grégoire Locqueville's avatar
      Automatically load `Prelude`s in the REPL · 7383ee40
      Grégoire Locqueville authored
      As per issue #422, this commit makes it so that some modules are
      automatically imported when entering the REPL.
      The modules are every module named `Prelude`, but exactly which modules
      should be imported is probably a discussion worth having.
      7383ee40
  9. 04 Nov, 2024 3 commits
  10. 28 Oct, 2024 6 commits