Index of repo/dev/playmonad

Name               Last modified      Size

../
play23-monad_2.10/  27-Dec-2021 23:30    -
play23-monad_2.11/  22-Jun-2023 13:25    -
play24-monad_2.10/  22-Jun-2023 11:48    -
play24-monad_2.11/  22-Jun-2023 11:46    -
play25-monad_2.11/  21-Nov-2021 16:35    -
play26-monad_2.11/  10-Nov-2021 00:50    -
play26-monad_2.12/  19-Dec-2021 16:32    -
play27-monad_2.11/  22-Jun-2023 13:41    -
play27-monad_2.12/  20-Apr-2024 05:17    -
play27-monad_2.13/  22-Jun-2023 11:57    -
play28-monad_2.12/  20-Apr-2024 05:17    -
play28-monad_2.13/  22-Jun-2023 11:48    -
root_2.13/          04-Oct-2023 20:56    -