Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Index re-skin, unrelated housekeeping #32

Merged
merged 20 commits into from
Dec 17, 2020
Merged

Index re-skin, unrelated housekeeping #32

merged 20 commits into from
Dec 17, 2020

Conversation

lfborjas
Copy link
Owner

Applies the design ideas from natalch.art, using firmament. Also, a ton of unrelated changes in advance of work done for #1

Index with errors

image

Index sans errors, mobile

image

Also:

* Introduce a `ghci` file for common repl options
* Move the Database module to Ephemeris internal
* Re-populate the ephemeris DB
* Groups errors for grouped inputs
* Displays those in a multiline p
* Minor copy fixes
@lfborjas lfborjas added the enhancement New feature or request label Dec 17, 2020
@lfborjas lfborjas changed the title Re-skin Index re-skin, unrelated housekeeping Dec 17, 2020
@lfborjas lfborjas merged commit 32aa651 into master Dec 17, 2020
@lfborjas lfborjas deleted the reskin branch December 17, 2020 03:57
@lfborjas lfborjas mentioned this pull request Dec 19, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant