Skip to content

Migrate to PureScript 0.15#1521

Merged
klntsky merged 101 commits intodevelopfrom
dshuiski/purs-0.15-migration
Dec 15, 2023
Merged

Migrate to PureScript 0.15#1521
klntsky merged 101 commits intodevelopfrom
dshuiski/purs-0.15-migration

Commits

Commits on Jul 3, 2023

Commits on Jul 4, 2023

Commits on Jul 5, 2023

Commits on Jul 6, 2023

Commits on Jul 7, 2023

Commits on Jul 11, 2023

Commits on Aug 1, 2023

Commits on Aug 4, 2023

Commits on Aug 8, 2023

Commits on Aug 9, 2023

Commits on Aug 10, 2023

Commits on Sep 13, 2023

Commits on Oct 10, 2023

Commits on Oct 12, 2023

Commits on Oct 13, 2023

Commits on Oct 16, 2023

Commits on Oct 17, 2023

Commits on Oct 20, 2023

Commits on Oct 22, 2023

Commits on Nov 8, 2023

Commits on Nov 9, 2023

Commits on Nov 10, 2023

Commits on Nov 13, 2023

Commits on Nov 23, 2023

Commits on Nov 24, 2023

Commits on Dec 4, 2023

Commits on Dec 5, 2023

Commits on Dec 15, 2023