index
:
yellowsquid/chomp.git
charset
master
queries
types
[no description]
Chloe Brown
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2021-01-18
(Attempt to) fix bug in mirror action.
Greg Brown
2021-01-16
Fix warnings in `chomp::ast`.
Greg Brown
2021-01-16
Fix warnings in `lower`.
Greg Brown
2021-01-16
Remove unused dependency
Greg Brown
2021-01-16
Make AutoChomp into a library
Greg Brown
2021-01-14
Finish AutoChomp
Greg Brown
2021-01-14
Add GitHub action to mirror repo.
Greg Brown
2021-01-14
Add labelled expressions.
Greg Brown
2021-01-09
Introduce chomp as a procedural macro.
Greg Brown
2021-01-09
Make all ast spans optional.
Greg Brown
2021-01-08
Remove unnecessary file
Greg Brown
2021-01-08
Minor fix-ups to AutoChomp
Greg Brown
2021-01-08
Add positions to chewed errors.
Greg Brown
2021-01-08
Do more restructuring.
Greg Brown
2021-01-07
Add first steps of AutoChomp
Greg Brown
2021-01-06
Create Chewed, the consumer crate.
Greg Brown
2021-01-06
Restructure code base to separate compilation phases.
Greg Brown
2020-12-31
First complete working version.
Greg Brown
2020-12-08
Make substitution into a macro.
Greg Brown
2020-11-30
Change type check infrastructure
Greg Brown
2020-11-25
Add let statements
Greg Brown
2020-11-25
Add substitution.
Greg Brown
2020-11-25
Change associativity of cat and alt
Greg Brown
2020-11-25
Change syntax
Greg Brown
2020-11-23
Improve error messages
Greg Brown
2020-11-23
Introduce guarded variables
Greg Brown
2020-11-21
Add code generation
Greg Brown
2020-11-20
Implement context traits for Vec
Greg Brown
2020-11-20
Precompute properties of well-typed terms
Greg Brown
2020-11-19
Switch typing to use traits
Greg Brown
2020-11-19
Switch parsing core to syn
Greg Brown
2020-11-18
Add type checking
Greg Brown
2020-11-18
Convert concrete to abstract syntax tree
Greg Brown
2020-11-09
Rename Seq to Cat
Greg Brown
2020-11-09
Parser with some tests
Greg Brown
2020-10-22
Initial commit
Greg Brown