rodrigogribeiro agda-software-foundations issues - Githubissues

rodrigogribeiro / agda-software-foundations

Porting of software foundations book to Agda

37 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Duplicate binding for built-in thing LEVEL

#6 dredozubov opened 7 years ago
1
Update Basics.lagda

#5 NOTtheMessiah closed 10 years ago
0
Explain inspect idiom

#4 rodrigogribeiro opened 10 years ago
0
Include separeted files to exercices to be solved

#3 rodrigogribeiro opened 10 years ago
0
Explain about equality proofs and equational proofs

#2 rodrigogribeiro opened 10 years ago
0
Resolve the pretty printing problems related to LaTeX.

#1 rodrigogribeiro opened 10 years ago
0