chengluyu

-- Lecture 4

-- Hylomophism

-- Definitions from previous lectures.

data Tree a = Empty | Fork (Tree a) a (Tree a)

-- We can construct a tree form a list.

chengluyu

#let figureCounters = state("thm",
  (
    "counters": ("heading": ()),
    "latest": ()
  )
)

#let figureInstances = state("instances", (:))

#let createFigureRenderer(identifier, base, base_level, render) = {

chengluyu

• I have contributed a lot of code to the programming language Scala developed for our lab: https://github.com/hkust-taco/mlscript.
• I posted several articles on my blog about Haskell a few years ago: Some Old Posts about Haskell.