Index of repo1/dev/playmonad

Name               Last modified      Size

../
play23-monad_2.10/  19-Oct-2023 19:37    -
play23-monad_2.11/  17-Oct-2023 06:33    -
play24-monad_2.10/  14-Jun-2024 04:36    -
play24-monad_2.11/  26-Aug-2023 16:17    -
play25-monad_2.11/  03-Jun-2024 12:03    -
play26-monad_2.11/  09-Jun-2024 08:50    -
play26-monad_2.12/  14-Jun-2024 09:26    -
play27-monad_2.11/  03-Jun-2024 12:13    -
play27-monad_2.12/  08-Jun-2024 04:20    -
play27-monad_2.13/  23-Oct-2022 10:48    -
play28-monad_2.12/  06-Jun-2024 10:25    -
play28-monad_2.13/  26-Aug-2023 18:53    -
root_2.13/          07-Jun-2024 13:32    -