4 Commits

Author	SHA1	Message	Date
Nicolas Abril	fb21101ff7	Add warning for unreachable pattern matching rules (#737)	2024-10-22 14:38:26 +02:00
Nicolas Abril	45839a7efd	#615 Add an optional type system to Bend (#631) ... Co-authored-by: imaqtkatt <eduarda.so@proton.me>	2024-09-20 16:23:22 +02:00
Nicolas Abril	7697acd137	Make with clauses take a bind and an argument	2024-05-29 09:57:40 +02:00
Nicolas Abril	e1dd23d96c	Update tests to use .bend extension, fix test uite	2024-05-15 00:25:46 +02:00