All pull requests

Pull requests

• change the teaching languages to use opt-in / opt-out toolbar buttons instead of drracket:toolbar-buttons

  #268·rfindler opened Oct 7, 2026Member·

  ·
  1

• Add universe-inset parameter

  #237·a11ce opened Dec 13, 2024Contributor·

  ·
  1

  13