strid-开源
需积分: 12 33 浏览量
2021-04-27
19:21:15
上传
评论
收藏 194KB GZ 举报
strid-0.1.0.tar.gz （56个子文件） 
strid-0.1.0 
COPYING 18KB strid.1 867B src term.ml 304B lang.mli 1KB OCamlMakefile 30KB common.ml 2KB lexer.ml 23KB wire.mli 3KB parser.ml 8KB lang.ml 17KB wire.ml 18KB parser.mly 2KB vect.ml 419B cubic_spline.ml 3KB spline.ml 4KB strid.ml 7KB Makefile 496B parser.mli 248B lexer.mll 2KB conf.ml 3KB README 479B CHANGES 44B doc order_braid.strid 113B yang_baxter_l.strid 100B monoid_mult.strid 90B order_adj.strid 66B monoid_assoc_r.strid 127B yang_baxter_r.strid 100B order_unit.strid 48B strid.conf 232B bialgebra_hopf_l.strid 73B order_line.strid 67B mult_label.strid 47B mult_a.strid 38B order_sym.strid 111B bang_maybe_cut.strid 128B monoidal_bifunct_r.strid 90B bicat_nat_transfo_l.strid 1KB mult_small_label.strid 59B monoid_unit.strid 42B monoidal_bifunct_l.strid 90B mult_ab.strid 42B bialgebra_hopf_r.strid 127B order_nboxm.strid 244B
stridman.pdf 185KB stridman.tex 9KB monoid_assoc_l.strid 128B bicat_nat_transfo_r.strid 850B monoid_neutral.strid 69B monoid_neutral_r.strid 83B Makefile 294B pl_composition.strid 134B order_mult.strid 97B order_vbox.strid 228B monoid_neutral_l.strid 83B Makefile 965B
评论0