Skip to content
  • Pietro Abate's avatar
    More bug fix · 796f7ee6
    Pietro Abate authored
    - fix one more problem with internalize
    - fix variance/contravariance problem in substituterec
    - cleanup
    796f7ee6