- Functional Futures: Dependent Types with David Christiansen https://serokell.io/blog/dependent-types-with-david-christiansen 2 comments haskell
Linked pages
- The Little Typer https://thelittletyper.com/ 137 comments
- Functional Programming in Lean - Functional Programming in Lean https://leanprover.github.io/functional_programming_in_lean/ 46 comments
- Ackermann function - Wikipedia https://en.wikipedia.org/wiki/ackermann_function 30 comments
- 2 10 Elaborator Reflection: Extending Idris in Idris - YouTube https://www.youtube.com/watch?v=pqFgYCdiYz4 10 comments
- Introduction to Template Haskell https://serokell.io/blog/introduction-to-template-haskell 10 comments
- Serokell Shop https://shop.serokell.io 1 comment
- Type Providers - F# | Microsoft Learn https://docs.microsoft.com/en-us/dotnet/fsharp/tutorials/type-providers/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:serokell.io
Search title: Functional Futures: Dependent Types with David Christiansen
See how to search.