Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
17
Closed
3
All
20
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Fix kics2 memory leak
!20
· created
Apr 11, 2024
by
Kai Prott
Merged
Approved
updated
Apr 11, 2024
Fix nondecreasing indentation in `Prelude.kics2`
!19
· created
Jan 10, 2023
by
Fredrik Wieczerkowski
Merged
updated
Jan 10, 2023
Replace empty #elif directives with #else
!18
· created
Jul 14, 2022
by
Fredrik Wieczerkowski
Merged
updated
Jul 18, 2022
Add Data.Functor.Compose
!17
· created
Mar 11, 2022
by
Fredrik Wieczerkowski
Merged
updated
Jul 19, 2022
Add Data.Functor.Const
!16
· created
Mar 11, 2022
by
Fredrik Wieczerkowski
Merged
updated
Jul 19, 2022
Fix isBinDigit
!15
· created
Apr 12, 2021
by
Fredrik Wieczerkowski
Merged
Approved
updated
Apr 13, 2021
Update libraries for KiCS2
!14
· created
Feb 23, 2021
by
Fredrik Wieczerkowski
Merged
updated
Dec 09, 2021
Add Control.Monad.void
!13
· created
Dec 13, 2020
by
Fredrik Wieczerkowski
Merged
Approved
updated
Dec 14, 2020
Add Control.Monad.join
!12
· created
Dec 06, 2020
by
Fredrik Wieczerkowski
Merged
Approved
updated
Dec 08, 2020
Add Functor, Applicative and Monad instances for Either
!11
· created
Dec 06, 2020
by
Fredrik Wieczerkowski
Merged
Approved
updated
Dec 08, 2020
Fix typo in new migration guide
!10
· created
Nov 24, 2020
by
Fredrik Wieczerkowski
Merged
Approved
updated
Nov 25, 2020
Add an updated migration guide written in Markdown
!9
· created
Nov 23, 2020
by
Fredrik Wieczerkowski
Merged
Approved
updated
Nov 24, 2020
Use versioned output directories for PAKCS
!8
· created
Nov 05, 2020
by
Fredrik Wieczerkowski
Merged
updated
Nov 06, 2020
Apply desugar-newtypes flag for PAKCS
!7
· created
Oct 28, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 29, 2020
Fix PAKCS arities for (=:=) and (=:<=)
!6
· created
Oct 23, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 26, 2020
WIP: Update libraries for KiCS2
!5
· created
Oct 20, 2020
by
Fredrik Wieczerkowski
Closed
1
updated
Feb 23, 2021
Allow pinning of LIBDEPS package versions
!4
· created
Mar 20, 2019
by
Jan Path
Closed
updated
Oct 07, 2024
Add new compilation targets to module 'Distribution'
!3
· created
Nov 02, 2018
by
Kai Prott
Closed
updated
Apr 06, 2019
Fix make cleanall failing on existing lib/CDOC/bt3 folder
!2
· created
Jul 11, 2018
by
Kai Prott
Merged
updated
Jul 11, 2018
Add Target Option for type-annotated FC (former Typed FC)
!1
· created
Jul 03, 2018
by
Kai Prott
Merged
updated
Jul 11, 2018