Dependent Types now almost batteries-included in GHC Haskellucsd-progsys.github.io6 points·ghostwriter··0 commentsOpen articleSaveView on HN