| sdiehl/write-you-a-haskell |
2,744 |
|
0 |
0 |
over 6 years ago |
0 |
|
21 |
mit |
Haskell |
| Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| psibi/how-to-prove |
203 |
|
0 |
0 |
over 2 years ago |
0 |
|
12 |
|
TeX |
| My Solution to Velleman's book |
| EgbertRijke/HoTT-Intro |
169 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
cc-by-4.0 |
Agda |
| An introductory course to Homotopy Type Theory |
| err0r500/foundational-knowledge-for-programmers |
112 |
|
0 |
0 |
about 5 years ago |
0 |
|
0 |
|
|
| List of resources about foundational knowledge for programmers (supposed to last a few decades) |
| HoTT-Intro/Agda |
92 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
gpl-3.0 |
Agda |
| Agda formalisation of the Introduction to Homotopy Type Theory |
| langston-barrett/reed-thesis |
13 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
mpl-2.0 |
TeX |
| My undergradate thesis on coinductive types in univalent type theory |
| wkolowski/Typonomikon |
11 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
Coq |
| Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich. |
