slides

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star14 (14)You must be signed in to star a repository

About

slides of zju-lambda

Activity

Custom properties

Stars

14 stars

Watchers

6 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

15 Commits

15 Commits

Folders and files

Name		Name	Last commit message	Last commit date
.travis.yml		.travis.yml
An Introduction to Scala.html		An Introduction to Scala.html
An-Exhibition-of-PLs.html		An-Exhibition-of-PLs.html
Entertaining-Pointfree.pdf		Entertaining-Pointfree.pdf
IntroductionToDependentTypes.pdf		IntroductionToDependentTypes.pdf
The-Overview-of-Lens.pdf		The-Overview-of-Lens.pdf
TheDevelopmentOfDependentTypes.pdf		TheDevelopmentOfDependentTypes.pdf
Verification-in-Dafny.pdf		Verification-in-Dafny.pdf
YonedaLemma.pdf		YonedaLemma.pdf
compiling-time-snake.pdf		compiling-time-snake.pdf
id_rsa.enc		id_rsa.enc
View all files

About

slides of zju-lambda

Activity

Custom properties

Stars

14 stars

Watchers

6 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages