Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 2, 2023

• fix(DBI): 二进制编码

  niltok

  committed
  4eb49e6

Commits on Jan 27, 2023

• add font subset

  niltok

  committed
  35bc6c7

• Merge pull request #7 from tiancaiamao/patch-1

  Show description for e84c67b
  niltok

  authored
  e84c67b

• Fix a typo in SystemF.md

  tiancaiamao

  authored
  1fcc008

Commits on Dec 15, 2022

• update index style

  niltok

  committed
  af67a90

Commits on Nov 24, 2022

• update css & add ts ver

  niltok

  committed
  0a95066

Commits on Mar 30, 2022

• fix Π

  niltok

  committed
  30b5b2a

Commits on Mar 20, 2022

• fix liga

  niltok

  committed
  f7f5c9c

• update style

  niltok

  committed
  1027979

Commits on Mar 12, 2022

• fix eval strategy

  niltok

  committed
  de896f8

Commits on Mar 11, 2022

• Merge branch 'main' of https://github.com/niltok/magic-in-ten-mins

  niltok

  committed
  b352441

• include py

  niltok

  committed
  9fdb574

Commits on Mar 8, 2022

• Merge pull request #5 from geekya215/main

  Show description for 82195e0
  niltok

  authored
  82195e0

• fix typo

  geekya215

  committed
  d858371

• add dbi

  niltok

  committed
  7d79ba4

Commits on Mar 4, 2022

• include OCaml ver

  niltok

  committed
  732dfa8

Commits on Dec 17, 2021

• add Lua & update gen.js

  niltok

  committed
  28c1e8b

Commits on Feb 13, 2021

• add(LeiEq)

  niltok

  committed
  e0f0fbc

Commits on Jan 30, 2021

• rename user

  niltok

  committed
  684d8c8

Commits on Jan 29, 2021

• fix(gen.js) direction

  niltok

  committed
  dea2e1f

Commits on Jan 28, 2021

• replace url

  niltok

  committed
  a2aae07

• Merge branch 'main' of https://github.com/goldimax/magic-in-ten-mins into main

  niltok

  committed
  966a29f

• fix(VecFin) read deps

  niltok

  committed
  bf9342a

• Update CNAME

  niltok

  committed
  6ece034

• Update CNAME

  niltok

  committed
  4f25bb8

• Update CNAME

  niltok

  committed
  ed44229

• Create CNAME

  niltok

  committed
  4045636

• fix(style) line height

  niltok

  committed
  7329c8e

• add(CHIso VecFin)

  niltok

  committed
  e61b8f6

Commits on Jan 7, 2021

• fix(ScottE) type def sugar

  niltok

  committed
  23044c9

• fix(fib)

  niltok

  committed
  cec5163

Commits on Jan 6, 2021

• add Mu

  niltok

  committed
  d6638f1

Commits on Jan 1, 2021

• add(Scott Encoding)

  niltok

  committed
  77ce581

Commits on Dec 30, 2020

• fix(Lambda) typo

  niltok

  committed
  a15fdbb

Commits on Dec 27, 2020

• fix(CoC SysFO)

  niltok

  committed
  dbad4f9

Pagination

PreviousNext