Kasey White
|
8b24a66b7e
|
add field access and list patterns are finished
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-12-05 14:18:44 -05:00 |
|
Kasey White
|
abe29a3883
|
make progress on list deconstruction with IR
|
2022-12-05 14:18:44 -05:00 |
|
rvcas
|
0823b78bf8
|
feat: some new features
- tuples `#(Int, Int)`
- `trace` and `trace("text")`
|
2022-11-28 22:33:53 -05:00 |
|
rvcas
|
d5087dbcc7
|
fix: it's more consistent to have snakecase builtins
|
2022-11-24 18:36:22 -05:00 |
|
rvcas
|
d94ae82901
|
fix: none does not need a type variable
|
2022-11-16 21:41:03 -05:00 |
|
alessandrokonrad
|
6c5ec9bb25
|
Extended ScriptContext; added Option to builtins
|
2022-11-16 21:34:46 -05:00 |
|
rvcas
|
3f952cdf0e
|
feat: add new Data type to prelude and allow it to unify with any user defined type
|
2022-11-14 15:09:56 -05:00 |
|
rvcas
|
819256df99
|
feat: wrap up adding uplc builtins for now
|
2022-10-25 18:52:27 -04:00 |
|
rvcas
|
d5d2ba9cd7
|
feat: start creating aiken/builtin module
|
2022-10-25 18:52:27 -04:00 |
|
rvcas
|
cabc653167
|
feat: start expr inference
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
81c87ab4da
|
feat: register import, types, and values in environment
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
d0287d418b
|
feat: add prelude
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
4df3de0a03
|
feat: some boilerplate for typechecking
|
2022-10-24 00:09:00 -04:00 |