Search results

Duplicate binding for built-in thing LEVEL

Status: Open.

#6 In rodrigogribeiro/agda-software-foundations;

· dredozubov opened on Aug 5, 2017

Explain inspect idiom

enhancement

Status: Open.

#4 In rodrigogribeiro/agda-software-foundations;

· rodrigogribeiro opened on Feb 16, 2014

Include separeted files to exercices to be solved

enhancement

Status: Open.

#3 In rodrigogribeiro/agda-software-foundations;

· rodrigogribeiro opened on Feb 16, 2014

Explain about equality proofs and equational proofs

enhancement

Status: Open.

#2 In rodrigogribeiro/agda-software-foundations;

· rodrigogribeiro opened on Feb 16, 2014

Resolve the pretty printing problems related to LaTeX.

enhancement

Status: Open.

#1 In rodrigogribeiro/agda-software-foundations;

· rodrigogribeiro opened on Feb 16, 2014