Linking pages
- GitHub - bollu/bollu.github.io: code + contents of my website, and programming life https://github.com/bollu/bollu.github.io#everything-you-know-about-word2vec-is-wrong 171 comments
- How to implement dependent types in 80 lines of code · GitHub https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 33 comments
- GitHub - AndrasKovacs/smalltt: Demo for high-performance type theory elaboration https://github.com/AndrasKovacs/smalltt#ghc-specific-optimizations 8 comments
- GitHub - xieyuheng/cicada: Cicada Language https://github.com/xieyuheng/cicada 5 comments
- GitHub - cicada-lang/cicada: Cicada Language https://github.com/cicada-lang/cicada 1 comment
- 2019: Year in review - Galois, Inc. https://galois.com/blog/2020/01/2019-year-in-review/ 0 comments
Related searches:
Search whole site: site:davidchristiansen.dk
Search title: Checking Dependent Types with Normalization by Evaluation: A Tutorial
See how to search.