- 07 Jul, 2021 1 commit
-
-
Michael Hanus authored
-
- 24 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 18 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 16 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 15 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 07 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 20 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 13 Apr, 2021 1 commit
-
-
Michael Hanus authored
Fix isBinDigit See merge request !15
-
- 12 Apr, 2021 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 09 Apr, 2021 1 commit
-
-
Michael Hanus authored
Remove PAKCS-specific definition in `Applicative IO` instance (replaced by handling in `Prelude.pakcs`)
-
- 06 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 24 Mar, 2021 1 commit
-
-
Michael Hanus authored
-
- 18 Mar, 2021 1 commit
-
-
Michael Hanus authored
-
- 17 Mar, 2021 2 commits
-
-
Michael Hanus authored
Specialization to PAKCS removed in the prelude to make it compatible to other compilers, like Curry2Go
-
Michael Hanus authored
-
- 24 Feb, 2021 1 commit
-
-
Michael Hanus authored
-
- 22 Feb, 2021 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 18 Jan, 2021 1 commit
-
-
Michael Hanus authored
-
- 06 Jan, 2021 1 commit
-
-
Michael Hanus authored
-
- 05 Jan, 2021 1 commit
-
-
Michael Hanus authored
-
- 21 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 15 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 14 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 13 Dec, 2020 2 commits
-
-
Michael Hanus authored
Add Control.Monad.void See merge request !13
-
Fredrik Wieczerkowski authored
-
- 09 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 08 Dec, 2020 2 commits
-
-
Michael Hanus authored
Add Control.Monad.join See merge request !12
-
Michael Hanus authored
Add Functor, Applicative and Monad instances for Either See merge request !11
-
- 06 Dec, 2020 2 commits
-
-
Fredrik Wieczerkowski authored
`join` is a convenience function that flattens a monad, analogously to Haskell's `Control.Monad.join`.
-
Fredrik Wieczerkowski authored
This is analogous to Haskell's Either.
-
- 03 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 02 Dec, 2020 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 30 Nov, 2020 1 commit
-
-
Michael Hanus authored
-
- 26 Nov, 2020 1 commit
-
-
Michael Hanus authored
-
- 25 Nov, 2020 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
Fix typo in new migration guide See merge request !10
-
- 24 Nov, 2020 1 commit
-
-
Fredrik Wieczerkowski authored
-