microproofs 59cfa209d7 change uplc version number based on plutus version

2024-05-23 15:04:59 -04:00

..

error

Define 'ExtraData' trait for errors

2023-10-20 18:00:12 +02:00

gen_uplc

revert #903 'feat: Emit keyword'

2024-05-23 17:22:12 +02:00

parser

revert #903 'feat: Emit keyword'

2024-05-23 17:22:12 +02:00

snapshots

fix: spans for backpassing args

2024-03-20 17:27:17 -04:00

tests

fix: comments in record patterns closes #946

2024-05-22 12:26:36 -04:00

tipo

fix: comments in record patterns closes #946

2024-05-22 12:26:36 -04:00

ast.rs

revert #903 'feat: Emit keyword'

2024-05-23 17:22:12 +02:00

builtins.rs

Rename AList -> Pairs due to popular demand.

2024-05-23 16:45:40 +02:00

expr.rs

revert #903 'feat: Emit keyword'

2024-05-23 17:22:12 +02:00

format.rs

revert #903 'feat: Emit keyword'

2024-05-23 17:22:12 +02:00

gen_uplc.rs

change uplc version number based on plutus version

2024-05-23 15:04:59 -04:00

levenshtein.rs

Add function to calculate lenvenshtein distance of two strings

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

lib.rs

feat: add plutus version to aiken.toml

2024-05-21 17:02:20 -04:00

line_numbers.rs

feat: impl serde on errythang

2024-03-08 19:19:07 -05:00

parser.rs

Fix && and || associativity.

2024-03-07 01:17:05 +01:00

plutus_version.rs

feat: add plutus version to aiken.toml

2024-05-21 17:02:20 -04:00

pretty.rs

Remove unused 'FlexBreak'

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

tipo.rs

Panic when encountering unknown generics.

2024-05-06 15:17:01 -04:00