Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 2, 2022

• remove unnecessary info

  wrongbyte

  authored
  c1721a5

  Copy full SHA for c1721a5

Commits on Oct 12, 2022

• Merge branch 'master' of github.com:wrongbyte/software-foundations

  wrongbyte

  committed
  2ac5e4d

  Copy full SHA for 2ac5e4d

• curry and uncurry

  wrongbyte

  committed
  bf6322c

  Copy full SHA for bf6322c

• Update currying-uncurrying.md

  wrongbyte

  authored
  94d8482

  Copy full SHA for 94d8482

• Create currying-uncurrying.md

  wrongbyte

  authored
  773d845

  Copy full SHA for 773d845

Commits on Sep 16, 2022

• map and fold

  wrongbyte

  committed
  a3e5fc5

  Copy full SHA for a3e5fc5

Commits on Sep 13, 2022

• partition and anonymous functions

  wrongbyte

  committed
  eac6a29

  Copy full SHA for eac6a29

Commits on Sep 12, 2022

• polymorphic options

  wrongbyte

  committed
  1ee06e7

  Copy full SHA for 1ee06e7

Commits on Sep 2, 2022

• more poly exercises

  wrongbyte

  committed
  3a7b376

  Copy full SHA for 3a7b376

• poly first exercises

  wrongbyte

  committed
  6b67a41

  Copy full SHA for 6b67a41

Commits on Aug 31, 2022

• Merge branch 'master' of github.com:wrongbyte/software-foundations

  wrongbyte

  committed
  eea72f3

  Copy full SHA for eea72f3

• fix Lists.v and add mumble grumble exercise

  wrongbyte

  committed
  fc06ad8

  Copy full SHA for fc06ad8

Commits on Aug 30, 2022

• add table of solutions in README

  wrongbyte

  authored
  d3f97e1

  Copy full SHA for d3f97e1

Commits on Aug 28, 2022

• finish chapter 3: Lists

  wrongbyte

  committed
  df3179f

  Copy full SHA for df3179f

• Options

  wrongbyte

  committed
  f9fe8b6

  Copy full SHA for f9fe8b6

Commits on Aug 27, 2022

• add list exercises part 2

  wrongbyte

  committed
  729893a

  Copy full SHA for 729893a

Commits on Aug 16, 2022

• add included exercise

  wrongbyte

  committed
  56722b2

  Copy full SHA for 56722b2

Commits on Jul 19, 2022

• lists: add more exercises

  wrongbyte

  committed
  b283922

  Copy full SHA for b283922

Commits on Jul 10, 2022

• alternate and bags

  wrongbyte

  committed
  31c89f5

  Copy full SHA for 31c89f5

Commits on Jul 8, 2022

• add first exercises lists

  wrongbyte

  committed
  0a9a5a4

  Copy full SHA for 0a9a5a4

Commits on Jul 6, 2022

• add structured data chapter

  wrongbyte

  committed
  980710b

  Copy full SHA for 980710b

Commits on Jul 4, 2022

• add unfinished exercises todo

  wrongbyte

  committed
  5924565

  Copy full SHA for 5924565

• finish initial exercises about induction

  wrongbyte

  committed
  2101707

  Copy full SHA for 2101707

Commits on Jul 3, 2022

• simpl notes

  wrongbyte

  committed
  1457e22

  Copy full SHA for 1457e22

Commits on Jul 2, 2022

• commutativity of multiplication

  wrongbyte

  committed
  d64aa6d

  Copy full SHA for d64aa6d

Commits on Jul 1, 2022

• proof by induction

  wrongbyte

  committed
  f988894

  Copy full SHA for f988894

• first exercises chapter 2

  wrongbyte

  committed
  e4d1f3f

  Copy full SHA for e4d1f3f

Commits on Jun 29, 2022

• Merge branch 'master' of github.com:wrongbyte/software-foundations

  wrongbyte

  committed
  90e0e99

  Copy full SHA for 90e0e99

• draft about coqproject and makefile

  wrongbyte

  authored
  561d8c1

  Copy full SHA for 561d8c1

• add config

  wrongbyte

  committed
  95c9f2f

  Copy full SHA for 95c9f2f

Commits on Jun 27, 2022

• Create structure.md

  wrongbyte

  authored
  8a5a74d

  Copy full SHA for 8a5a74d

Commits on Jun 26, 2022

• change gitignore

  wrongbyte

  committed
  cbd98f1

  Copy full SHA for cbd98f1

Commits on Jun 23, 2022

• add README

  wrongbyte

  authored
  66a91ba

  Copy full SHA for 66a91ba

• remove unnecessary files

  wrongbyte

  committed
  b790181

  Copy full SHA for b790181

• repository organization

  wrongbyte

  committed
  0002cc1

  Copy full SHA for 0002cc1