Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 8, 2024

• Added numeric literal experiment.

  patrikja

  committed
  8c4fafb

  Copy full SHA for 8c4fafb

• Minimal update to Agda 2.6.4.1 and stdlib 2.0

  patrikja

  committed
  cc2475e

  Copy full SHA for cc2475e

Commits on Aug 21, 2023

• Link to arXiv pre-print + blog post.

  patrikja

  committed
  f162033

  Copy full SHA for f162033

Commits on Feb 28, 2023

• WG2.1 talk done - added link to YouTube recording.

  patrikja

  committed
  ec25634

  Copy full SHA for ec25634

Commits on Feb 27, 2023

• minor fix

  patrikja

  committed
  2101f70

  Copy full SHA for 2101f70

• Some talk updates.

  patrikja

  committed
  4841d34

  Copy full SHA for 4841d34

Commits on Feb 19, 2023

• Talk fixes.

  patrikja

  committed
  3c4c0e6

  Copy full SHA for 3c4c0e6

• Draft talk ready.

  patrikja

  committed
  db60c67

  Copy full SHA for db60c67

• CI for both talk source files.

  patrikja

  committed
  8fc78e7

  Copy full SHA for 8fc78e7

• Formatting as "paper" done. Next is transition to beamer.

  patrikja

  committed
  b998718

  Copy full SHA for b998718

• Talk preparation.

  patrikja

  committed
  23cbee3

  Copy full SHA for 23cbee3

• Preparing. dim.-talk.

  patrikja

  committed
  06347e6

  Copy full SHA for 06347e6

• Preparing Dim.-talk.

  patrikja

  committed
  bdb8150

  Copy full SHA for bdb8150

Commits on Dec 15, 2022

• Set stdlib version.

  patrikja

  committed
  5d99582

  Copy full SHA for 5d99582

• Setup .agda-lib file and fill the hole.

  patrikja

  committed
  1587d44

  Copy full SHA for 1587d44

• Sources added for the 2022-11 Agda meeting talk about dimensions.

  patrikja

  committed
  46ecd7e

  Copy full SHA for 46ecd7e

• Initial commit

  patrikja

  authored
  9ae9455

  Copy full SHA for 9ae9455