Skip to content

juanbono/verified-fp-agda

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

23 Commits

.gitignore

.gitignore

 
 

README.md

README.md

 
 

ch1-day.agda

ch1-day.agda

 
 

ch1-my-bool.agda

ch1-my-bool.agda

 
 

ch1-suit.agda

ch1-suit.agda

 
 

ch2-my-bool-thms.agda

ch2-my-bool-thms.agda

 
 

ch3-my-nat-thms.agda

ch3-my-nat-thms.agda

 
 

ch4-my-list-thms.agda

ch4-my-list-thms.agda

 
 

ch5-internal-verification.agda

ch5-internal-verification.agda

 
 

ch6-grammars.agda

ch6-grammars.agda

 
 

ch7-type-level-computation.agda

ch7-type-level-computation.agda

 
 

Repository files navigation

Verified Functional Programming in Agda

Chapter 1 - Functional Programming with the Booleans

Chapter 2 - Theorem Proving with the Booleans

Chapter 3 - Natural Numbers

Chapter 4 - Lists

Chapter 5 - Internal Verification

About

Functional Verified Programming in Agda - Exercises

Resources

Readme
Activity

Stars

7 stars

Watchers

4 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages