Commit f9aebdc

committed

Working Typst build

- Markdown transformed to Typst. There are still some needed changes but this is sufficient to get the source building. - Rework the build system to use Typst and remove Pandoc

1 parent f968593 commit f9aebdcCopy full SHA for f9aebdc

142 files changed

+3136

-1702

lines changed

Gemfile
Gemfile.lock
build.sbt
src/pages
- adt
  - algebra.typ
  - applications.typ
  - conclusions.typ
  - index.typ
  - scala.typ
  - structural-corecursion.typ
  - structural-recursion.typ
- adt-interpreters
  - conclusions.typ
  - index.typ
  - regexp.typ
  - reification.typ
  - tail-recursion.typ
- adt-optimization
  - algebra.typ
  - conclusions.typ
  - effects.typ
  - index.typ
  - stack-machine.typ
  - stack-reify.typ
- appendices
  - acknowledgements.typ
  - solutions.md
  - solutions.typ
- applicatives
  - applicative.typ
  - examples.typ
  - index.typ
  - parallel.typ
  - semigroupal.typ
  - summary.typ
  - validated.typ
- bibliography.md
- bibliography.typ
- case-studies
  - crdt
  - map-reduce
    - index.typ
  - parser
  - testing
    - index.typ
  - validation
- cats
  - conclusions.typ
  - equal.typ
  - index.typ
- codata
  - codata.typ
  - conclusions.typ
  - data-codata.typ
  - examples.typ
  - exercise.typ
  - extensibility.typ
  - index.typ
  - scala.typ
  - structural.typ
- foldable-traverse
  - foldable-cats.typ
  - foldable.typ
  - index.typ
  - summary.typ
  - traverse-cats.typ
  - traverse.typ
- fps.typ
- functors
  - cats.typ
  - contravariant-invariant-cats.typ
  - contravariant-invariant.typ
  - index.typ
  - partial-unification.typ
  - summary.typ
- indexed-types
  - codata.typ
  - conclusions.typ
  - data.typ
  - index.md
  - index.typ
  - phantom-type.typ
- intro
  - index.typ
  - three-levels.typ
  - what-is-fp.typ
- links.typ
- monad-transformers
  - index.typ
  - summary.typ
- monads
  - cats.typ
  - custom-instances.typ
  - either.typ
  - eval.typ
  - id.typ
  - index.typ
  - monad-error.typ
  - reader.typ
  - state.typ
  - summary.typ
  - writer.typ
- monoids
  - applications.typ
  - cats.typ
  - index.typ
  - summary.typ
- parts
  - appendices.md
  - appendices.typ
  - backmatter.md
  - backmatter.typ
  - frontmatter.md
  - mainmatter.md
  - part1.md
  - part1.typ
  - part2.typ
  - part3.typ
  - part4.typ
  - solutions.typ
- preface
  - conventions.typ
  - license.md
  - license.typ
  - preface.typ
  - versions.typ
- scala-with-cats.bib
- stdlib.typ
- tagless-final
  - aui.typ
  - codata.typ
  - conclusions.typ
  - index.typ
  - tagless-final-dx.typ
  - tagless-final.typ
- type-classes
  - anatomy.typ
  - cats.typ
  - composition.typ
  - conclusions.md
  - conclusions.typ
  - display.typ
  - given.typ
  - index.md
  - index.typ
  - instance-selection.typ
  - what.typ
- usability
  - index.typ

142 files changed

+3136

-1702

lines changed

`‎Gemfile`

This file was deleted.

`‎Gemfile.lock`

This file was deleted.

Comments

(0)