microproofs 2f7784f31e chore: update changelog ...

expecting a type on List<Data> from data now only checks that type is a list and not each element

2023-08-10 23:01:46 -04:00

..

gen_uplc

test(aiken-lang): add a new test for list edge case in when clause patterns

2023-08-08 20:47:35 -04:00

parser

fix: code gen tests now up to date using trace

2023-08-07 12:02:44 -04:00

snapshots

Rename (Un)TypedExpr.Int -> (Un)TypedExpr.UInt

2023-07-06 16:10:46 -04:00

tests

fix(exhaustiveness): adjust helper method to get contructors properly

2023-08-03 16:14:42 -04:00

tipo

Cargo fmt + clippy, with latest rust

2023-08-07 19:00:39 -04:00

ast.rs

feat: rename error to fail

2023-07-12 09:16:37 -04:00

builtins.rs

a checkpoint for function hoisting start and type fix

2023-08-07 12:02:44 -04:00

expr.rs

fix: code gen tests now up to date using trace

2023-08-07 12:02:44 -04:00

format.rs

fix: code gen tests now up to date using trace

2023-08-07 12:02:44 -04:00

gen_uplc.rs

chore: update changelog

2023-08-10 23:01:46 -04:00

levenshtein.rs

Add function to calculate lenvenshtein distance of two strings

2022-12-22 23:44:15 +01:00

lib.rs

out with the old code and in with the air tree

2023-08-07 12:02:44 -04:00

parser.rs

Move chain and chained parsing into their own submodule

2023-07-05 15:18:07 +02:00

pretty.rs

Remove unused 'FlexBreak'

2023-03-14 16:47:43 -04:00

tipo.rs

checkpoint

2023-08-07 12:02:44 -04:00