1. 9
    Proving Algebraic Datatypes are “Algebraic” formalmethods math ml soap.coffee
    lthms avatar authored by lthms 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 4
      breandan avatar breandan 3 years ago | link

      Some related thoughts on ADTs from Oleg Kiselyov: http://okmij.org/ftp/tagless-final/Algebra.html