summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
mainDeleted everything but the one scriptScott Lawrence18 months
 
 
AgeCommit messageAuthor
2024-06-26Deleted everything but the one scriptHEADmainScott Lawrence
2024-06-26Possibly shifting to a single scriptScott Lawrence
2024-06-25Stub of using angstromScott Lawrence
2024-06-25Attempting to use sedlex (and maybe Menhir)Scott Lawrence
2024-06-22Editing descriptionScott Lawrence
2024-06-22Adding shortcut for running.Scott Lawrence
2024-06-20Created dune projectScott Lawrence
2024-06-20Initial commitScott Lawrence
 
Clone
https://git.ineffectivetheory.com/agate