3 commits

Author	SHA1	Message	Date
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