# Stepper for Plait (instead of BSL/ISL)
**URL:** https://racket.discourse.group/t/stepper-for-plait-instead-of-bsl-isl/3017
**Category:** Questions & Answers
**Created:** [July 11, 2024, 9:06pm UTC](https://racket.discourse.group/t/stepper-for-plait-instead-of-bsl-isl/3017 "2024-07-11T21:06:03Z")
**Posts on this page:** 2
**Page:** 1
### Author:  [@JoeyEremondi](https://racket.discourse.group/u/JoeyEremondi)
#### Post date: [July 11, 2024, 9:06pm UTC](https://racket.discourse.group/t/stepper-for-plait-instead-of-bsl-isl/3017/1 "2024-07-11T21:06:03Z")
I was wondering if anybody had an algebraic stepper that worked on Racket languages other than BSL or ISL, that I could adapt to work on (a fragment of) Plait.
There's the debugger, but for purely functional code it's a bit overkill, especially if the goal is understanding functional code instead of debugging.
I was doing algebraic stepping with my students on the board and they really seemed to click with it, so I was hoping there would be a tool that would let them try it themselves.
---
### Author:  [@jbclements](https://racket.discourse.group/u/jbclements)
#### Post date: [July 17, 2024, 5:57pm UTC](https://racket.discourse.group/t/stepper-for-plait-instead-of-bsl-isl/3017/2 "2024-07-17T17:57:06Z")
Rats, no one else jumped in and answered this? _Sigh_
Author of the BSL/ISL stepper here: this would be a fair amount of work. Months, maybe. The annotation piece probably wouldn't be impossible, the hard part would be unwinding the harvested continuation marks into source code. I think that the "T" part of "plait" (that is, the types) could be especially challenging here; I'm guessing that the result of plait expansion contains a fair amount of code related to type checking (though I could be wrong). So: yes, fairly hard I think.