Jan Mas Rovira c6e3c99225 [scoped] add ScopedIden		2022-03-18 10:16:43 +01:00
..
Imports	[tests] add support for mocked file system in scope checker. Useful for multi	2022-02-18 17:48:21 +01:00
StdlibList/Data	[tests] fix definition of Data.List.filter	2022-02-24 00:31:21 +01:00
Termination	[ tests ] added example about ordinals	2022-03-08 13:25:17 +01:00
HelloWorld.mjuvix	[scoped] add ScopedIden	2022-03-18 10:16:43 +01:00
Inductive.mjuvix	[tests] setup step-wise positive tests	2022-02-18 13:01:42 +01:00
Literals.mjuvix	[test] improve test for literals	2022-03-16 12:42:06 +01:00
Operators.mjuvix	[tests] add test for parenthesized operators: (+)	2022-02-23 10:59:56 +01:00