Jeffrey Young

So it seems like `anchor`s are a good path forward with the caveat that we do not allow them under binding forms (which is a invariant that racket has too)....

Ah but `f` is not generally recursive right? So there would be no infinite loop here during partial evaluation.

So it seems like `anchor`s are a good path forward with the caveat that we do not allow them under binding forms (which is a invariant that racket has too)....

I think its a good example but is only suited for a small audience. What I would want is the `megaconst` example complete with a DSL that ties the whole...

absolutely! This is high on my list as well and I think it would help with #202 because we could show the repl examples. That is exactly what I'm after...

there is also: - lava (circuit description language) - conal elliot's graphics dsl - the vim keybinds (although vim doesn't say that's a DSL it is and a program is...

but anything that should be typed is a prime example.

> The selling point is that our macros can use the types computed by Klister's builtin type system, not that it can be used to define custom type systems, so...

This looks like an issue with mapping `examples` on the `KLISTERPATH` environment variable. Each error is about a missing `.kl` file. In the nix flake, I get around this [here](https://github.com/gelisam/klister/blob/212f87b0cf8928d9ee07adb5de9269186c72b918/flake.nix#L31)....

Should be ready for review now. Its a bit slower than what we had. Why is that? Well: ``` $ perf stat -- cabal test --test-show-details=streaming Performance counter stats for...