8 Commits

Author	SHA1	Message	Date
Krasimir Angelov	7544e8dfbc	remove duplicated export	2022-06-22 11:29:09 +02:00
krangelov	a6f9eb15ad	added Data instances for backwards compatibility	2021-12-21 14:38:28 +01:00
krangelov	d1b1cd6e8c	an API for constructing HOAS expressions	2021-12-09 07:46:49 +01:00
krangelov	cf7673525f	the compiler now compiles with the new runtime	2021-09-13 18:32:57 +02:00
krangelov	e9ec4cef67	fill in more gaps in the API	2021-08-27 15:05:42 +02:00
krangelov	8195f8b0cb	support for unbounded integers	2021-08-27 11:31:10 +02:00
krangelov	01db0224be	API for constructing types	2021-08-12 12:16:11 +02:00
krangelov	16dfcb938c	more of the abstract API copied from the old runtimes	2021-08-12 12:06:50 +02:00