Skip to content
Snippets Groups Projects
  1. Jul 26, 2025
  2. Jul 23, 2025
  3. Jul 22, 2025
  4. Jul 21, 2025
  5. Jul 17, 2025
  6. Jul 15, 2025
  7. Jul 13, 2025
  8. Jul 12, 2025
  9. Jun 23, 2025
    • Artin Ghasivand's avatar
      Add a proper :type command to the repl, plus more repl refactoring · dad9e17f
      Artin Ghasivand authored
      {- Note [Implementing the typeCmd command]
      If we were to just to a tcInfer_ (tcExpr gamma <expr>),
      then the type of <expr> would be instantiated, and we'd
      have to re-generalize it again. That means declarations
      that had top level signature, like:
      
      map :: forall a b. (a -> b) -> List a -> List b
      map f Nil         = Nil
      map f (Cons x xs) = Cons (f x) (map f xs)
      
      would then be printed by :type as:
      
      forall {a:Type}. forall {b:Type}. (a -> b) -> List a -> List b
      
      Considering that our system supports Visible Type Application
      (I-TyApp) this makes an actual, user observable differnce.
      -}
      dad9e17f
  10. Jun 22, 2025
  11. Jun 20, 2025
  12. Jun 19, 2025
  13. Jun 17, 2025
  14. Jun 11, 2025
  15. Jun 09, 2025
    • Artin Ghasivand's avatar
      Fix issue #65 and add line numbers to the paper · 3df00690
      Artin Ghasivand authored
      - Added compose, fix the type of `and` and `or` add test letAndOr-infer
      - The typecheckerr can now typecheck map, foldr, and foldl
      - Renamed emitSimple and emitSimples to emitCt and emitCts
      - Renamed emitImplic and emitImplics to emitImplicCt and emitImplicCts
      3df00690
  16. Jun 08, 2025
  17. Jun 06, 2025
  18. Jun 05, 2025
  19. Jun 03, 2025
  20. May 27, 2025
  21. May 22, 2025
  22. May 10, 2025
  23. May 02, 2025
Loading