All pull requests

Pull requests

• Updated modal diagnostics

  #365·LIshy2 opened Sep 23, 2026Collaborator·

  ·
  1

• Add RSTT-safe mode and fragment diagnostics

  #364·fizruk opened Sep 13, 2026Member·

  ·

• issue 130

  #363·s3midetnov opened Sep 12, 2026·

  ·
  1

• Modal match

  #358·LIshy2 opened Sep 9, 2026Collaborator·

  ·

• Yet another modal fixes

  #357·LIshy2 opened Sep 9, 2026Collaborator·

  ·

• The layer discipline (and shape types)

  #354·fizruk opened Aug 29, 2026Member·

  ·
  1

• Shape types

  #333·LIshy2 opened Jul 30, 2026Collaborator·

  ·

• Holes: tolerate point holes in tope positions

  #260·fizruk opened Jun 25, 2026Member·

  ·

• Format 80 chars limit (+ keeping assumptions on new lines)

  #219·fizruk opened Feb 8, 2026Member·

  ·

• Set a limit on WHNF computation depth

  #187·fizruk opened Jun 11, 2024Member·3 tasks done·

  ·

• Add #require-file command

  #71·fizruk opened Jul 12, 2023Member·

  ·
  1

• Add #define-assumption command

  #69·fizruk opened Jul 12, 2023Member·

  ·
  1