Linking pages
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Advent of Code 2020 https://adventofcode.com/2020 167 comments
- Haskell Language http://haskell.org/ 120 comments
- Basic Type Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 47 comments
- https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GADTSyntax 40 comments
- Thinking with Types: Type-Level Programming in Haskell https://thinkingwithtypes.com/ 15 comments
- Parsing type-level strings in Haskell – ( ) https://kcsongor.github.io/symbol-parsing-haskell/ 15 comments
- type-of-html: High performance type driven html generation. https://hackage.haskell.org/package/type-of-html 4 comments
- Day 7 - Advent of Code 2020 https://adventofcode.com/2020/day/7 1 comment
Related searches:
Search whole site: site:abhinavsarkar.net
Search title: Solving Advent of Code “Handy Haversacks” in Type-level Haskell | abhinavsarkar.net
See how to search.