drracket-custom-keybindings

A plugin and language for implementing macro-specific keybinding extensions for DrRacket

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, May 27th, 2021 12:00:12am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/aowens-21/drracket-custom-keybindings.gitea5e6bcc52021624bf98615f2c447fc4d61a7ad4
Last checkedSaturday, September 25th, 2021 8:09:15pm (UTC)
Last editedSunday, May 23rd, 2021 1:24:07am (UTC)
Date addedSunday, May 23rd, 2021 1:24:07am (UTC)
Modules
  • drracket-custom-keybindings/handler.rkt
  • kb-base/kb-base/example-macros.rkt
  • tests/kb-base/error-tests.rkt
  • tests/kb-base/operations-tests.rkt
  • kb-base/kb-base/interpreter.rkt
  • kb-base/kb-base/operations.rkt
  • tests/kb-base/well-formed.rkt
  • drracket-custom-keybindings/custom-keybinding-tool.rkt
  • kb-base/kb-base/helpers.rkt
  • tests/kb-base/example-keybindings/plai.rkt
  • kb-base/kb-base/kb-expr.rkt
  • kb-base/test-utils.rkt
  • kb-base/scribblings/kb-base.scrbl
  • kb-base/main.rkt
  • tests/kb-base/example-keybindings/misc-racket.rkt
  • tests/kb-base/keybinding-tests.rkt
  • tests/kb-base/example-keybindings/contracts.rkt