microproofs 173154e406 fix: (code gen): expect type now properly tracks constructor dependency. ...

This was specific to code gen generated functions.

2023-05-17 17:56:01 -04:00

..

gen_uplc

feat: record modules are no longer unimplemented for no fields

2023-05-14 18:30:51 -04:00

parser

feat(playground): impl clone for some errors

2023-04-24 17:13:20 -04:00

tests

feat: new setup for the gen_uplc testing

2023-04-19 16:08:55 -04:00

tipo

feat(playground): impl clone for some errors

2023-04-24 17:13:20 -04:00

ast.rs

feat(validators): unused param warning

2023-03-30 21:15:27 -04:00

builtins.rs

feat(validators): unused param warning

2023-03-30 21:15:27 -04:00

expr.rs

Cleanup implementation from multi-subjects when/is

2023-03-17 13:06:39 +01:00

format.rs

fix some typos

2023-04-07 16:51:18 -04:00

gen_uplc.rs

fix: (code gen): expect type now properly tracks constructor dependency.

2023-05-17 17:56:01 -04:00

levenshtein.rs

Add function to calculate lenvenshtein distance of two strings

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

lib.rs

feat: refactor some methods and modules

2023-03-27 20:00:32 -04:00

parser.rs

feat(validators): unused param warning

2023-03-30 21:15:27 -04:00

pretty.rs

Remove unused 'FlexBreak'

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

tipo.rs

Bootstrap schema validation for simple constants.

2023-04-08 08:57:03 +02:00