4 Commits

Author	SHA1	Message	Date
Vic Nightfall	769f1bb677	Progress on implementing the basic case	2023-09-01 18:26:01 +02:00
Vic Nightfall	3c43978c55	Less general type	2023-09-01 12:51:06 +02:00
Vic Nightfall	fb7b51a971	Point out what the goal translation is	2023-09-01 12:34:43 +02:00
Daniel Holle	e414da3369	Simple record patterns in method headers	2023-08-18 17:15:15 +02:00