3 commits

Author	SHA1	Message	Date
Swrup	e774ca5a08	use caqti infix	2026-03-19 21:06:10 +01:00
Swrup	b718eae11b	change bindings.ml to syntax.ml	2026-03-19 21:06:10 +01:00
pena	b9d95522a1	implements discussions	2026-03-19 21:06:10 +01:00