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

(Quasi)ABTs for syntax types #715

Merged
merged 60 commits into from
Mar 20, 2024
Merged

(Quasi)ABTs for syntax types #715

merged 60 commits into from
Mar 20, 2024

Commits on Mar 15, 2024

  1. Define a VM module.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    7e990ef View commit details
    Browse the repository at this point in the history

  2. Re-export env & store effects.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    186ae4f View commit details
    Browse the repository at this point in the history

  3. Move let' & letrec into the VM module.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    94b463e View commit details
    Browse the repository at this point in the history

  4. Define a module for Python syntax.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    9df11b4 View commit details
    Browse the repository at this point in the history

  5. Move the Term type into its own module.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    14cdce0 View commit details
    Browse the repository at this point in the history

  6. 🔥 re-exports.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    25485ff View commit details
    Browse the repository at this point in the history

  7. 🔥 all the JSON parsing stuff.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    fba6ecf View commit details
    Browse the repository at this point in the history

  8. Initial stab at ABT-style term representations.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    f8a8f06 View commit details
    Browse the repository at this point in the history

  9. Convert Vec to [].

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    ef985dc View commit details
    Browse the repository at this point in the history

  10. Define a factored Python type.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    67c7779 View commit details
    Browse the repository at this point in the history

  11. Define a smart constructor for no-ops.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    54f32e9 View commit details
    Browse the repository at this point in the history

  12. Use inductive naturals.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    71073d7 View commit details
    Browse the repository at this point in the history

  13. Equate Vec.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    138bea9 View commit details
    Browse the repository at this point in the history

  14. Go quantify a kite.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    b798092 View commit details
    Browse the repository at this point in the history

  15. Represent variables in the abstract trees.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    fc4e7e4 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'all-code-dies-not-all-code-truly-lives' into always-be-… 

    …treeing
    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    57aed6b View commit details
    Browse the repository at this point in the history

  17. Define an Ord instance for Vec.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    076e967 View commit details
    Browse the repository at this point in the history

  18. Define an Ord instance for Vec.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    09c57ed View commit details
    Browse the repository at this point in the history

  19. Define Foldable instances for Vec.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    3987aa9 View commit details
    Browse the repository at this point in the history

  20. Simplify the Foldable instances.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    22d693c View commit details
    Browse the repository at this point in the history

  21. Spacing.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    6b25a75 View commit details
    Browse the repository at this point in the history

  22. Generic subterms. 

    @BekaValentine was right, it needs to include the argument. I have no idea what I was thinking.

Co-Authored-By: Rebecca Valentine <171941+BekaValentine@users.noreply.github.com>
    @robrix @BekaValentine
    robrix and BekaValentine committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    175e819 View commit details
    Browse the repository at this point in the history

  23. An additional smart constructor.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    11b8caa View commit details
    Browse the repository at this point in the history

  24. Define a pattern synonym for no-ops.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    0a33a89 View commit details
    Browse the repository at this point in the history

  25. Define a pattern synonym for conditionals.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    d6263ff View commit details
    Browse the repository at this point in the history

  26. 🔥 the function constructors.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    45fa9a2 View commit details
    Browse the repository at this point in the history

  27. Bool.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    1bfe2bb View commit details
    Browse the repository at this point in the history

  28. String.

    @robrix
    robrix committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    fef8e66 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Throw.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    155ecdd View commit details
    Browse the repository at this point in the history

  2. Import.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    a59ff6e View commit details
    Browse the repository at this point in the history

  3. Function.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    42ab0be View commit details
    Browse the repository at this point in the history

  4. Bidirectional.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    dcf7d40 View commit details
    Browse the repository at this point in the history

  5. Call.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    b6a9fae View commit details
    Browse the repository at this point in the history

  6. Locate.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    b19baf0 View commit details
    Browse the repository at this point in the history

  7. Completeness.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    ed23111 View commit details
    Browse the repository at this point in the history

  8. Sequencing.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    948a5c7 View commit details
    Browse the repository at this point in the history

  9. HLint.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    e1a6215 View commit details
    Browse the repository at this point in the history

  10. Let.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    fecfa07 View commit details
    Browse the repository at this point in the history

  11. Port eval over.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    b9ba190 View commit details
    Browse the repository at this point in the history

  12. 🔥 Term.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    692c3f2 View commit details
    Browse the repository at this point in the history

  13. Rename the synonyms to elide the primes.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    e7c5928 View commit details
    Browse the repository at this point in the history

  14. Spacing.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    cdde997 View commit details
    Browse the repository at this point in the history

  15. Define a synonym for Term.

    @robrix
    robrix committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    be357c0 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Tone down the fancy.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    f96b14d View commit details
    Browse the repository at this point in the history

  2. 🔥 toList.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    6ea208f View commit details
    Browse the repository at this point in the history

  3. Dial the fancy even further back.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    0297116 View commit details
    Browse the repository at this point in the history

  4. Define an Eq1 instance for Python.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    4ed026b View commit details
    Browse the repository at this point in the history

  5. Define an Ord1 instance for Python.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    5ccf337 View commit details
    Browse the repository at this point in the history

  6. 🔥 extensions.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    1df04e8 View commit details
    Browse the repository at this point in the history

  7. Terms are free monads.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    6812e35 View commit details
    Browse the repository at this point in the history

  8. General fold over Terms.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    ff22c0b View commit details
    Browse the repository at this point in the history

  9. Paramorphic fold.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    3861c38 View commit details
    Browse the repository at this point in the history

  10. Define subterms paramorphically.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    050188f View commit details
    Browse the repository at this point in the history

  11. Mendler-style recursion.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    c746f93 View commit details
    Browse the repository at this point in the history

  12. Align.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    bcca57a View commit details
    Browse the repository at this point in the history

  13. Define foldTerm using mendlerTerm.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    07a5740 View commit details
    Browse the repository at this point in the history

  14. UndecidableInstances instead of QuantifiedConstraints. 

    I'd rather do this than fuss with CI for old versions of the compiler.
    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    809ab74 View commit details
    Browse the repository at this point in the history

  15. Mendler-style paramorphism.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    d22bd1e View commit details
    Browse the repository at this point in the history

  16. Define para using mendlerPara.

    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    ad4dba6 View commit details
    Browse the repository at this point in the history

  17. Define subterms using mendlerPara. 

    🔥 that Functor constraint.
    @robrix
    robrix committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    1d70d13 View commit details
    Browse the repository at this point in the history