6 Commits

Author	SHA1	Message	Date
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