janmasrovira c8f283b4f1 ignore implicit patterns and arguments in termination checking (#172)		2022-06-16 10:04:28 +02:00
..
Data	ignore implicit patterns and arguments in termination checking (#172)	2022-06-16 10:04:28 +02:00
Ack.mjuvix	[ pre-commit ] Add support and hooks	2022-04-04 17:44:08 +02:00
minijuvix.yaml	Fix highlight command for modules with import statements (#102)	2022-05-13 16:17:26 +02:00
Mutual.mjuvix	Change terminating keyword behavior (#82)	2022-05-04 18:17:16 +02:00
ToEmpty.mjuvix	Add terminating keyword (#71)	2022-05-04 14:05:58 +02:00
Undefined.mjuvix	Change terminating keyword behavior (#82)	2022-05-04 18:17:16 +02:00