KtorZ 56258dc815 Fix todo/error parser on when clauses.

2023-02-16 00:40:49 +01:00

..

parser

feat: handle expect in parser

2023-02-09 00:43:29 -05:00

tests

Fix todo/error parser on when clauses.

2023-02-16 00:40:49 +01:00

tipo

Preserve trace, error & todo formatting.

2023-02-15 23:19:07 +01:00

air.rs

Remove 'Todo' from the AST & AIR

2023-02-15 21:57:08 +01:00

ast.rs

Remove 'Todo' from the AST & AIR

2023-02-15 21:57:08 +01:00

builder.rs

Remove 'Todo' from the AST & AIR

2023-02-15 21:57:08 +01:00

builtins.rs

Add Ordering data-type definition to prelude known constructors.

2023-02-09 14:36:39 +01:00

expr.rs

Fix todo/error parser on when clauses.

2023-02-16 00:40:49 +01:00

format.rs

Preserve trace, error & todo formatting.

2023-02-15 23:19:07 +01:00

levenshtein.rs

Add function to calculate lenvenshtein distance of two strings

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

lib.rs

Fix generated projects' README + rename 'certify' -> 'publish'

2023-01-18 16:48:42 +01:00

parser.rs

Fix todo/error parser on when clauses.

2023-02-16 00:40:49 +01:00

pretty.rs

chore: clippy autofix

2023-02-01 18:53:11 -05:00

tipo.rs

feat: Finish up assert feature

2023-01-29 05:21:55 -05:00

uplc.rs

Remove 'Todo' from the AST & AIR

2023-02-15 21:57:08 +01:00