5 commits

Author	SHA1	Message	Date
Swrup	0632a713c7	open caqti_type; use Q module for discuss	2022-04-04 21:42:46 +02:00
Swrup	613d901bca	remove ';' from queries	2022-04-04 21:17:30 +02:00
Swrup	6b5bfcd144	use caqti infix	2022-04-04 21:17:24 +02:00
Swrup	575e4d4e00	change bindings.ml to syntax.ml	2022-04-01 23:25:49 +02:00
zapashcanon	cf0ad20c79	implements discussions	2022-03-31 15:00:00 +02:00