Skip to content

Activity

Merge pull request #718 from sebastiaanspeck/patch-1

Pull request merge
rnkaufmanpushed 3 commits to main • 7bd2ac2…ad281b5 • 
on May 13, 2024

Deleted branch

Merge pull request #716 from github/this-branch-name-left-intentional…

Pull request merge
robrixpushed 14 commits to main • d7f9e09…7bd2ac2 • 
on Mar 25, 2024

Merge branch 'main' into this-branch-name-left-intentionally-blank

robrixpushed 4 commits to this-branch-name-left-intentionally-blank • dff78b1…6700d99 • 
on Mar 25, 2024

Merge pull request #703 from SamB/SamB-patch-1

Pull request merge
robrixpushed 3 commits to main • 3baf0b4…d7f9e09 • 
on Mar 25, 2024

Spacing.

robrixpushed 8 commits to this-branch-name-left-intentionally-blank • cd62a56…dff78b1 • 
on Mar 25, 2024

Conditionals.

robrixcreated this-branch-name-left-intentionally-blank • cd62a56 • 
on Mar 20, 2024

Deleted branch

robrixdeleted always-be-treeing • 
on Mar 20, 2024

Merge pull request #715 from github/always-be-treeing

Pull request merge
robrixpushed 61 commits to main • fe4a775…3baf0b4 • 
on Mar 20, 2024

Define subterms using mendlerPara.

robrixpushed 3 commits to always-be-treeing • 809ab74…1d70d13 • 
on Mar 19, 2024

UndecidableInstances instead of QuantifiedConstraints.

robrixpushed 3 commits to always-be-treeing • c746f93…809ab74 • 
on Mar 19, 2024

Mendler-style recursion.

robrixpushed 4 commits to always-be-treeing • 6812e35…c746f93 • 
on Mar 19, 2024

Terms are free monads.

robrixpushed 2 commits to always-be-treeing • 5ccf337…6812e35 • 
on Mar 19, 2024

Define an Ord1 instance for Python.

robrixpushed 5 commits to always-be-treeing • be357c0…5ccf337 • 
on Mar 19, 2024

Define a synonym for Term.

robrixpushed 7 commits to always-be-treeing • 948a5c7…be357c0 • 
on Mar 18, 2024

Sequencing.

robrixpushed 2 commits to always-be-treeing • b19baf0…948a5c7 • 
on Mar 18, 2024

Locate.

robrixpushed 6 commits to always-be-treeing • fef8e66…b19baf0 • 
on Mar 18, 2024

String.

robrixpushed 12 commits to always-be-treeing • 57aed6b…fef8e66 • 
on Mar 15, 2024

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

robrixcreated always-be-treeing • 57aed6b • 
on Mar 15, 2024

Deleted branch

robrixdeleted all-code-dies-not-all-code-truly-lives • 
on Mar 15, 2024

Merge pull request #714 from github/all-code-dies-not-all-code-truly-…

Pull request merge
robrixpushed 16 commits to main • 953eb5a…fe4a775 • 
on Mar 15, 2024

HLint.

robrixpushed 1 commit to all-code-dies-not-all-code-truly-lives • 5461ef7…110e674 • 
on Mar 15, 2024

Reformat.

robrixpushed 1 commit to all-code-dies-not-all-code-truly-lives • 9d9f644…5461ef7 • 
on Mar 15, 2024

More hlint placating.

robrixpushed 3 commits to all-code-dies-not-all-code-truly-lives • fa4ded2…9d9f644 • 
on Mar 14, 2024

Merge branch 'main' into all-code-dies-not-all-code-truly-lives

robrixpushed 3 commits to all-code-dies-not-all-code-truly-lives • fdb6398…fa4ded2 • 
on Mar 13, 2024

Deleted branch

robrixdeleted semantic-source-0.2.0.1 • 
on Mar 13, 2024

Merge pull request #713 from github/semantic-source-0.2.0.1

Pull request merge
robrixpushed 7 commits to main • 793a876…953eb5a • 
on Mar 13, 2024

Explicitly configure semantic-source.

robrixpushed 1 commit to semantic-source-0.2.0.1 • 90475c0…eb64988 • 
on Mar 13, 2024

Evaluate in the right order.

robrixpushed 7 commits to all-code-dies-not-all-code-truly-lives • dc35727…fdb6398 • 
on Mar 11, 2024

Dead code analysis.

robrixcreated all-code-dies-not-all-code-truly-lives • dc35727 • 
on Mar 8, 2024