search

seagreen / bowtie

Hindley-Milner style language for educational use
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

How should the kit work? #4

Open seagreen opened 4 years ago

seagreen commented 4 years ago

Three options:

  1. It's a separate repo, which calls out to bowtie to do everything. At the start all the tests pass, and over time the implementer replaces each call to bowtie with their own implementation of evaluation, type inference, etc.

  2. It's a separate repo, with undefined for each major function. At the start the tests fail, and go green as the user implements them

  3. It's in the SAME repo (thanks @mitchellwrosen) for this idea. This way things like fuzzy file searching and ghcide jump-to-definition still work. Perhaps it's in the Kit namespace instead of Bowtie.

seagreen commented 4 years ago

In the meantime while I think about this the kit repo is deprecated :man_facepalming: