- Jul 18, 2021
-
-
Jens Nolte authored
Co-authored-by:
Jan Beinke <git@janbeinke.com>
-
Jens Nolte authored
Co-authored-by:
Jan Beinke <git@janbeinke.com>
-
Jens Nolte authored
Co-authored-by:
Jan Beinke <git@janbeinke.com>
-
- Jul 12, 2021
-
-
Jens Nolte authored
-
- Jul 11, 2021
-
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
Due to the accepted "monad of no return" proposal, return becomes an alias for pure. Return can be a pitfall for newcomers, so we decided to use pure instead.
-
Jens Nolte authored
-
Jens Nolte authored
Both were lost while filtering the repository
-
Jens Nolte authored
-
Jens Nolte authored
All commits before this point are extracted from the `qd` repository. The commits have been filtered to only include relevant files. I hope this is a good compromise between squashing all history and having the full history of another project attached to this repository.
-
- Jul 10, 2021
-
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
This is a requirement for multi-hop network connections.
-
Jens Nolte authored
-
- Jul 09, 2021
-
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
-
Jens Nolte authored
This fixes ghci.
-