chad-fast - [no description]

	Commit message (Collapse)	Author	Age
...
*	Code cleanup, and OverloadedLabels for LSeg	Tom Smeding	2024-09-02
\|
*	Autoweak!	Tom Smeding	2024-09-02
\|
*	WIP autoWeak	Tom Smeding	2024-09-02
\|
*	WIP Build1	Tom Smeding	2024-08-30
\|
*	Style	Tom Smeding	2024-08-30
\|
*	Implement weakenExpr using subst	Tom Smeding	2024-08-30
\| \| \| \|	This saves one traversal function.
*	Migrate to accumulators (mostly removing EVM code)	Tom Smeding	2024-08-30
\|
*	rules: Attempt at merge/accum parameterised transformationevm	Tom Smeding	2024-08-29
\|
*	Generalise freezeRet a little bit	Tom Smeding	2024-08-29
\|
*	Type up some of the rules in LaTeX	Tom Smeding	2024-08-29
\|
*	Add missing import	Tom Smeding	2024-02-15
\|
*	Ramblings in Compile	Tom Smeding	2024-01-27
\|
*	Move some definitions from AST to Data	Tom Smeding	2024-01-27
\|
*	Less default case	Tom Smeding	2024-01-27
\|
*	Linear-time tape reconstruction	Tom Smeding	2024-01-26
\| \| \| \|	A tutorial of the method here: https://play.haskell.org/saved/uHuGLfHZ
*	Embrace the PartialTypeSignatures	Tom Smeding	2024-01-25
\|
*	Finish rewrite	Tom Smeding	2024-01-25
\|
*	Getting further	Tom Smeding	2024-01-25
\|
*	More stuff	Tom Smeding	2024-01-25
\|
*	WIP rewrite code transform typing	Tom Smeding	2024-01-24
\|
*	Better modularity in subenv stuff	Tom Smeding	2023-09-22
\|
*	WIP in merge mode only return free variables	Tom Smeding	2023-09-21
\| \| \| \|	The code typechecks and may well work, but is untested.
*	Add invocation example to Example.hs	Tom Smeding	2023-09-21
\|
*	Pretty print let bindings in do notation	Tom Smeding	2023-09-21
\|
*	Storage policy (accum / merge)	Tom Smeding	2023-09-21
\|
*	WIP mixed environment description	Tom Smeding	2023-09-21
\|
*	Examples with conditionals	Tom Smeding	2023-09-20
\|
*	Stuff	Tom Smeding	2023-09-19
\|
*	Pretty print	Tom Smeding	2023-09-16
\|
*	CHAD ops	Tom Smeding	2023-09-16
\|
*	CHAD case	Tom Smeding	2023-09-16
\|
*	CHAD let	Tom Smeding	2023-09-10
\|
*	Initial	Tom Smeding	2023-09-10