Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Use Agda Haskell lib instead of MAlonzo #6562

Open
wants to merge 32 commits into
base: master
Choose a base branch
from
Open

Use Agda Haskell lib instead of MAlonzo #6562

wants to merge 32 commits into from

Commits on Oct 31, 2024

  1. Add Agda as a package dep

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    19176fa View commit details
    Browse the repository at this point in the history

  2. WIP

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    827b285 View commit details
    Browse the repository at this point in the history

  3. Use dependent sums

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c249d63 View commit details
    Browse the repository at this point in the history

  4. WIP

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    ab9ab67 View commit details
    Browse the repository at this point in the history

  5. Implement agdaUnparseValue

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    0b09f52 View commit details
    Browse the repository at this point in the history

  6. Finish unparseAgda

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    ae7746c View commit details
    Browse the repository at this point in the history

  7. Fix

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    45dfe79 View commit details
    Browse the repository at this point in the history

  8. WIP: parse top level Agda file and typecheck

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    d8a91e9 View commit details
    Browse the repository at this point in the history

  9. WIP: internalise trace in Agda

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    04a956a View commit details
    Browse the repository at this point in the history

  10. Temp

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    f6626e0 View commit details
    Browse the repository at this point in the history

  11. Temp

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    cbac9c5 View commit details
    Browse the repository at this point in the history

  12. First experiment is successful

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    46ecd8c View commit details
    Browse the repository at this point in the history

  13. POC is working

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c31b70e View commit details
    Browse the repository at this point in the history

  14. IT WORKS

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    392efd6 View commit details
    Browse the repository at this point in the history

  15. Add agda-extra-env.nix

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    aa743f0 View commit details
    Browse the repository at this point in the history

  16. Add agda-extra-env.nix

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    367c468 View commit details
    Browse the repository at this point in the history

  17. wi

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    6fdfcfa View commit details
    Browse the repository at this point in the history

  18. wip

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    6533cdf View commit details
    Browse the repository at this point in the history

  19. Fix adgda more

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    f32173e View commit details
    Browse the repository at this point in the history

  20. Fix adgda more

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    271e194 View commit details
    Browse the repository at this point in the history

  21. Add Agda as a package dep

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    a325844 View commit details
    Browse the repository at this point in the history

  22. Fix

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    06b4b09 View commit details
    Browse the repository at this point in the history

  23. Fix botched merge

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c68f5e1 View commit details
    Browse the repository at this point in the history

  24. Use env vars; broken agda compilation

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    4c5a345 View commit details
    Browse the repository at this point in the history

  25. Try env vars without local interfaces

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    0a81c6f View commit details
    Browse the repository at this point in the history

  26. wip

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    fd06667 View commit details
    Browse the repository at this point in the history

  27. Clean-up

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c11577b View commit details
    Browse the repository at this point in the history

  28. Clean-up

    @ana-pantilie
    ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    4e4a8a8 View commit details
    Browse the repository at this point in the history

  29. Up Agda to 2.6.4.3

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c556591 View commit details
    Browse the repository at this point in the history

  30. wip

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    d1a942f View commit details
    Browse the repository at this point in the history

  31. wip

    @zeme-wana @ana-pantilie
    zeme-wana authored and ana-pantilie committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    a3fe0e9 View commit details
    Browse the repository at this point in the history

  32. wip

    @zeme-wana
    zeme-wana committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    13d169d View commit details
    Browse the repository at this point in the history