11 Commits

Author	SHA1	Message	Date
Niels G. W. Serup	1f3c2929fd	Split functions into two modules	2024-09-21 20:05:08 +02:00
Niels G. W. Serup	28d430cf72	Put function shortcuts back in Functions module	2024-09-21 20:00:59 +02:00
Niels G. W. Serup	e3868332be	Move more base stuff into Types module	2024-09-21 19:53:32 +02:00
Niels G. W. Serup	c588dc1f56	User better namings	2024-09-21 19:17:09 +02:00
Niels G. W. Serup	b4f36f9370	Also migrate Function	2024-09-21 18:06:00 +02:00
Niels G. W. Serup	af50f16243	Migrate all FunctionIO	2024-09-21 18:02:20 +02:00
Niels G. W. Serup	bb52c043cd	Remove duplicated old way of doing this	2024-09-21 17:39:50 +02:00
Niels G. W. Serup	6a2a87cfc3	Start using class instances instead of GADT constructors ... Maybe makes more sense here?	2024-09-21 17:37:37 +02:00
Niels G. W. Serup	124d9fa4d8	This belongs here	2024-09-21 17:34:28 +02:00
Niels G. W. Serup	111fe3cee5	Make compile	2024-09-21 17:13:20 +02:00
Niels G. W. Serup	e0caddd119	Move functions to own file	2024-09-21 16:50:57 +02:00