Lobsters
- Dependent types in Haskell https://serokell.io/blog/ghc-dependent-types-in-haskell 4 comments haskell , plt
- [Serokell Blog] Work on GHC: Dependent Types (September 2023) https://serokell.io/blog/ghc-dependent-types-in-haskell 11 comments haskell
Linking pages
Related searches:
Search whole site: site:serokell.io
Search title: Dependent types in Haskell
See how to search.