Minnesota Extensible Language Tools Group

Navigation

About
- Group Members
- Group Publications
Silver
- Installation Guide
- Command Line Reference
- Style Guide
- Silver Tutorial
- FAQs
- Concepts
- Language Reference
  - Declarations
  - Expressions
  - Extensions
  - Statements
    - Copper
    - Equations
    - Forwarding equations
    - Local equations
    - Return
    - Specification for Copper
  - Doc-Comments
- Library Reference
- Silver Development
- Language Server
  - Silver Language Server
  - Other Languages
- Debugger
  - Debugging Contextualization
- Bibliography
- Grammars Docs
Copper
AbleC
- Getting Started
- Tutorial
Downloads
- Previous Releases
Artifacts

More

News
Github

Minnesota Extensible Language Tools Group
/
Silver
/
Debugger

Debugger

In progress, creating an algorithmic debugger for Silver (the AGnosis debugger)…

Built with Hugo and