From 57914cbe5218aa6a09569a4af5ff60596bd8cb16 Mon Sep 17 00:00:00 2001 From: Joel Hermanns Date: Sat, 14 Mar 2015 16:34:33 +0100 Subject: [PATCH] The rest --- guide-de.md | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/guide-de.md b/guide-de.md index fae6265..3fadd1a 100644 --- a/guide-de.md +++ b/guide-de.md @@ -837,3 +837,34 @@ Wenn du dich mit Typ- oder Kategorien Theorie beschäftigen willst: - [StackExchange Frage: What is the difference between propositions and judgements](http://cstheory.stackexchange.com/questions/9826/what-is-the-difference-between-propositions-and-judgments). - [Vorlesungs Notizen eines kurzen, dreiteiligen Kurses](http://www.ae-info.org/attach/User/Martin-L%C3%B6f_Per/OtherInformation/article.pdf) + +# Dependent typing + +- [Grokking sum types, value constructors, and type constructors](http://bitemyapp.com/posts/2014-04-05-grokking-sums-and-constructors.html) squint hard. + +- [Lightweight Dependent-type Programming](http://okmij.org/ftp/Computation/lightweight-dependent-typing.html). + +- [Idris programming language](http://www.idris-lang.org/). + +# Statisch gelinkte Binaries + +- [Static linking](https://wiki.haskell.org/Web/Literature/Static_linking) + +- [Static linking with GHC on Arch Linux](http://www.edofic.com/posts/2014-05-03-ghc-arch-static.html) + +- [Statically linking Linux binaries for ARM & MIPS](http://stackoverflow.com/questions/14270177/ghc-statically-linking-linux-binaries-for-arm-mips-processors) + +- [Statically link GMP using GHC and LLVM](http://stackoverflow.com/questions/10539857/statically-link-gmp-to-an-haskell-application-using-ghc-llvm) + +# Weitere Dinge zum lesen + +> Einige sind bereits hier enthalten + +- [Essential Haskell Reading List](http://www.stephendiehl.com/posts/essential_haskell.html) + +## Dialog + +> In diesem Repository zu finden, siehe [hier](dialogues.md). + +Die sind eigentlich sehr wichtig und hilfreich. Schaue hier für tiefere Einblicke +in eine Vielzahl von Themen. \ No newline at end of file