microproofs 084b900b2a change: traverse_with_tree now has a boolean to determine when with is called ...

fix: Opaque types are now properly handled in code gen (i.e. code gen functions, in datums/redeemers, in from data casts)
chore: add specific nested opaque type tests to code gen

2023-08-19 20:07:37 -04:00

..

gen_uplc

change: traverse_with_tree now has a boolean to determine when with is called

2023-08-19 20:07:37 -04:00

parser

feat: new snapshots

2023-08-15 09:58:35 -04:00

snapshots

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

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

tests

test: check and format tests for logical op chain

2023-08-15 09:58:35 -04:00

tipo

feat(tipo): inference for and/or chains

2023-08-15 09:58:35 -04:00

ast.rs

chore: can safely remove this at this point

2023-08-15 09:58:35 -04:00

builtins.rs

a checkpoint for function hoisting start and type fix

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

expr.rs

feat(tipo): inference for and/or chains

2023-08-15 09:58:35 -04:00

format.rs

feat(format): logical op chain

2023-08-15 09:58:35 -04:00

gen_uplc.rs

change: traverse_with_tree now has a boolean to determine when with is called

2023-08-19 20:07:37 -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