GitHub - A1kmm/dependently-typed-revolution-lambdajam: Notes and videos for Lambda Jam 2019 workshop: The Dependently Typed Revolution

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
reveal		reveal
.gitattributes		.gitattributes
.gitignore		.gitignore
CreateGame.png		CreateGame.png
Ex1.idr		Ex1.idr
HaskellCurry.png		HaskellCurry.png
HttpEngine.png		HttpEngine.png
LambdaJam2019TalkPlan.odt		LambdaJam2019TalkPlan.odt
ProofSweeperBase1.mp4		ProofSweeperBase1.mp4
ProofSweeperBase2.mp4		ProofSweeperBase2.mp4
ProofSweeperBase3.mp4		ProofSweeperBase3.mp4
ProofSweeperBase4.mp4		ProofSweeperBase4.mp4
ProofSweeperBase5.mp4		ProofSweeperBase5.mp4
ProofSweeperPlay-Answers.idr		ProofSweeperPlay-Answers.idr
ProofSweeperPlay1.mp4		ProofSweeperPlay1.mp4
ProofSweeperPlay10.mp4		ProofSweeperPlay10.mp4
ProofSweeperPlay11.mp4		ProofSweeperPlay11.mp4
ProofSweeperPlay12.mp4		ProofSweeperPlay12.mp4
ProofSweeperPlay13.mp4		ProofSweeperPlay13.mp4
ProofSweeperPlay14.mp4		ProofSweeperPlay14.mp4
ProofSweeperPlay15.mp4		ProofSweeperPlay15.mp4
ProofSweeperPlay16.mp4		ProofSweeperPlay16.mp4
ProofSweeperPlay2.mp4		ProofSweeperPlay2.mp4
ProofSweeperPlay3.mp4		ProofSweeperPlay3.mp4
ProofSweeperPlay4.mp4		ProofSweeperPlay4.mp4
ProofSweeperPlay5.mp4		ProofSweeperPlay5.mp4
ProofSweeperPlay6.mp4		ProofSweeperPlay6.mp4
ProofSweeperPlay7.mp4		ProofSweeperPlay7.mp4
ProofSweeperPlay8.mp4		ProofSweeperPlay8.mp4
ProofSweeperPlay9.mp4		ProofSweeperPlay9.mp4
TraditionalTypeSystems.png		TraditionalTypeSystems.png
game-dependenttalk.data		game-dependenttalk.data
guild.jpeg		guild.jpeg
jmeter.png		jmeter.png
minesweeper.png		minesweeper.png
video-commands.txt		video-commands.txt
wai.png		wai.png