Add Gothic miniature resource grammar.
Merge pull request #9 from esg/gothic-mini

Add Gothic miniature resource grammar.
started a grammar for homotopy type theory
update index
update index
le fibre -> la fibre
Version 0.9.6
Merge pull request #10 from normundsg/master

FrameNet Version 0.9.6
drsToLF:if_singleton_rs,Exists.else,Rel.TODO.drsConsToLF:if_singleton_rs,Exists.else,Rel.
unnecessary_parentheses:singleton_Var_Term_list
answer=eval_lf_where_lf=drsToLF_unmaybe_repS_utt_xyzw
where_lf=d2l_xyzw,d2l=drsToLF_drs,drs=unmaybe_repS_utt
drsToLF::DRSUnresolved_[DRSRef^Term]_LF.case_term2ref_ts_of_singleton[r]:Exists
Representation^Evaluation.xyzw::[DRSRef^Term].Translate_exports_term2ref
TODO:answer_d2l_xyzw^terms.want_case_d2l_of_Exists_scope
TODO:term2ref_ts_not_singleton[r],xyzw:Exists.L.Bottom,undefined,L.Top_distinguishes_termlist
TODO:back_out_case_termlist_length_of_singleton,etc.case_Rel_DRSRefs_of_singleton:Exists.drsConsToLF_tail_ts
TODO:Apos_conds_have_order_not_affecting_LF_term_assignment_problem_probably
TODO:Exists_t^L.Var_r.really_question
TODO:non-exhaustive_pattern_lambda:case_t_of_L.Const_e.ie,entities,really