├── (un)folding-programs.org ├── how-to-learn.org ├── img ├── birkhoff-universal-algebra.png ├── christopher-strachey.png ├── dana-scott.png ├── eugenio-moggi.png ├── garrett-birkhoff.png ├── john-reynolds.png ├── nn-types-fp.png ├── peter-landin.png ├── robin-milner.png ├── roger-godement.png ├── samuel-eilenberg.png ├── saunders-maclane.png ├── tony-hoare.png ├── universal-co-algebra-chart.png └── øysten-ore.png ├── journal.org ├── notes-on-history-of-interactive-theorem-proving.org ├── papers-read.org └── readme.org /(un)folding-programs.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/(un)folding-programs.org -------------------------------------------------------------------------------- /how-to-learn.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/how-to-learn.org -------------------------------------------------------------------------------- /img/birkhoff-universal-algebra.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/birkhoff-universal-algebra.png -------------------------------------------------------------------------------- /img/christopher-strachey.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/christopher-strachey.png -------------------------------------------------------------------------------- /img/dana-scott.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/dana-scott.png -------------------------------------------------------------------------------- /img/eugenio-moggi.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/eugenio-moggi.png -------------------------------------------------------------------------------- /img/garrett-birkhoff.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/garrett-birkhoff.png -------------------------------------------------------------------------------- /img/john-reynolds.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/john-reynolds.png -------------------------------------------------------------------------------- /img/nn-types-fp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/nn-types-fp.png -------------------------------------------------------------------------------- /img/peter-landin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/peter-landin.png -------------------------------------------------------------------------------- /img/robin-milner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/robin-milner.png -------------------------------------------------------------------------------- /img/roger-godement.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/roger-godement.png -------------------------------------------------------------------------------- /img/samuel-eilenberg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/samuel-eilenberg.png -------------------------------------------------------------------------------- /img/saunders-maclane.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/saunders-maclane.png -------------------------------------------------------------------------------- /img/tony-hoare.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/tony-hoare.png -------------------------------------------------------------------------------- /img/universal-co-algebra-chart.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/universal-co-algebra-chart.png -------------------------------------------------------------------------------- /img/øysten-ore.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/img/øysten-ore.png -------------------------------------------------------------------------------- /journal.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/journal.org -------------------------------------------------------------------------------- /notes-on-history-of-interactive-theorem-proving.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/notes-on-history-of-interactive-theorem-proving.org -------------------------------------------------------------------------------- /papers-read.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/papers-read.org -------------------------------------------------------------------------------- /readme.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/morphisms-of-computational-structures/HEAD/readme.org --------------------------------------------------------------------------------