- 10 Sep, 2021 1 commit
-
-
Przemyslaw Kaminski authored
-
- 15 Jul, 2021 1 commit
-
-
Przemyslaw Kaminski authored
Argonaut is still there because of generic functions that I don't want to remove yet. It's also in Spec.
-
- 28 Jun, 2021 1 commit
-
-
Przemyslaw Kaminski authored
Also, spago build used now.
-
- 22 Jun, 2021 1 commit
-
-
Przemyslaw Kaminski authored
Not everything compiles yet.
-
- 10 Mar, 2021 1 commit
-
-
James Laver authored
-
- 23 Jul, 2020 1 commit
-
-
Alexandre Delanoë authored
-