allow fst, snd, case to be application heads #35

Merged

rhi merged 2 commits from heads into 🐉

2023-12-04 12:48:43 -05:00

Author	SHA1	Message	Date
rhiannon morris	59e7a457a6	let case be the head of an application too	2023-12-04 18:28:57 +01:00
rhiannon morris	4291afd51b	allow fst/snd to take multiple arguments also succ though that won't be well typed	2023-12-04 18:21:28 +01:00