Commit Graph

3 Commits

Author SHA1 Message Date
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
e414da3369 Simple record patterns in method headers 2023-08-18 17:15:15 +02:00