aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


'>packages/agda.scm
AgeCommit message (Expand)Author


2022-05-12gnu: agda.scm: Add missing import....Efraim Flashner


2022-05-08gnu: agda: Use G-expressions....Tobias Geerinckx-Rice


2022-05-08gnu: agda: Update to 2.6.2.2....Tobias Geerinckx-Rice