6 Commits

Author	SHA1	Message	Date
Henrik Lissner	f75381ae51	when not => unless	2018-08-31 03:32:25 +02:00
Henrik Lissner	f95623989d	lang/coq: remove unnecessary after! ... For setting a variable, an after! block is overkill	2018-08-31 03:31:58 +02:00
Patrick Elliott	953906ccdb	Terminator triggers evaluation	2018-08-27 15:35:18 +02:00
Patrick Elliott	f6e9b943fd	Change ref function	2018-08-27 14:11:14 +02:00
Patrick Elliott	5492315053	Added lookup handlers	2018-08-27 13:57:00 +02:00
Patrick Elliott	d9f819dac4	Only make company features conditional	2018-08-27 12:57:07 +02:00