Issues

• Extranenous -open command line switch

  PLTools/noCanren#15 · Filter by author Kakadu opened on Jun 30, 2022
  1

• Translation of modules and functors

  PLTools/noCanren#9 · Filter by author Kakadu opened on Jun 9, 2022
  1

• It looks like (&&) in unnesting mode is not lazy on right argument

  PLTools/noCanren#5 · Filter by author Kakadu opened on Jun 6, 2022

• Косяки, если приписана типовая аннотация в lozovML

  PLTools/noCanren#4 · Filter by author Kakadu opened on Jun 1, 2022

• Document [@heavy] and [@service_function]

  PLTools/noCanren#2 · Filter by author Kakadu opened on Feb 25, 2022