[HN Gopher] Programming Language Foundations in Agda
       ___________________________________________________________________
        
       Programming Language Foundations in Agda
        
       Author : blewboarwastake
       Score  : 62 points
       Date   : 2021-01-22 11:26 UTC (1 days ago)
        
 (HTM) web link (plfa.github.io)
 (TXT) w3m dump (plfa.github.io)
        
       | samvher wrote:
       | Is this in any way related to Software Foundations Volume 2:
       | Programming Language Foundations [0] (in Coq)? The table of
       | contents looks quite different but the choice of name suggest
       | some commonality.
       | 
       | [0] https://softwarefoundations.cis.upenn.edu/plf-
       | current/toc.ht...
        
         | mechanicalDigit wrote:
         | Wadler stated in a talk somewhere that he was inspired by that
         | book, but thought Agda may be more approachable.
        
           | remexre wrote:
           | The second paragraph of [0] says about the same, with
           | reasons.
           | 
           | [0]: https://plfa.github.io/Preface/#personal-remarks
        
       | kvlr wrote:
       | Here's a runnable version of this book
       | https://nextjournal.com/try/plfa/Naturals
        
       ___________________________________________________________________
       (page generated 2021-01-23 23:01 UTC)