文件名称：gadt-lambdaconf-talk
文件大小：6.86MB
文件格式：ZIP
更新时间：2024-05-25 22:52:03
JavaScript
我的LambdaConf 2019演讲的GADT幻灯片
【文件预览】：
gadt-lambdaconf-talk-master
----.gitignore(17B)
----.babelrc(1KB)
----package.json(5KB)
----ext()
--------spectacle-code-slide()
----package-lock.json(1.04MB)
----src()
--------CodeSlide.re(939B)
--------PrismCode.bs.js(2KB)
--------main.css(232B)
--------prism-theme.css(3KB)
--------Main.bs.js(566B)
--------webpack()
--------Presentation.re(13KB)
--------Presentation.bs.js(59KB)
--------index.js(8B)
--------Presentation.bs.js.bak2(60KB)
--------BigCode.re(678B)
--------BigCode.bs.js(2KB)
--------Presentation.bs.js.bak(60KB)
--------index.html(193B)
--------Main.re(80B)
--------entry.js(350B)
--------SpectacleTheme.re(503B)
--------spectacle-code-slide()
--------CodeSlide.bs.js(811B)
--------SpectacleTheme.bs.js(339B)
--------SpectacleCodeSlide.js(115B)
--------PrismCode.re(1KB)
----webpack.config.js(1KB)
----.merlin(830B)
----public()
--------res()
--------index.html(193B)
----prov()
--------take_five.ml(1KB)
--------vect.ml(160B)
--------ast.byte(697KB)
--------validation_multi.ml(991B)
--------Makefile(265B)
--------logic.ml(2KB)
--------bbtree.byte(24KB)
--------btree_adt_example.dot.png(6KB)
--------.merlin(17B)
--------ast.cmi(5KB)
--------hlist.ml(275B)
--------bbtree.cmi(2KB)
--------peano.ml(505B)
--------validation_single.ml(713B)
--------exp.ml(1KB)
--------vect_reduce.ml(412B)
--------ast.cmo(4KB)
--------btree_adt_example.dot(69B)
--------bbtree.cmo(242B)
--------bbtree.ml(1KB)
--------ast.ml(2KB)
----scripts()
--------build.js(6KB)
--------test.js(1KB)
--------start.js(4KB)
----README.md(46B)
----config()
--------jest()
--------webpack.config.dev.js(18KB)
--------webpackDevServer.config.js(6KB)
--------webpack.config.prod.js(22KB)
--------paths.js(3KB)
--------env.js(3KB)
----.bsb.lock(5B)
----bsconfig.json(578B)