Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 26, 2023

• feat!: add builtins to core

  Show description for 3905d4f
  tonyfettes

  committed
  3905d4f

  Copy full SHA for 3905d4f

Commits on Nov 14, 2023

• fix: core arithmetic

  tonyfettes

  committed
  dbb06e9

  Copy full SHA for dbb06e9

• refactor: core

  tonyfettes

  committed
  02e74eb

  Copy full SHA for 02e74eb

Commits on Nov 13, 2023

• stash

  tonyfettes

  committed
  1ef5daf

  Copy full SHA for 1ef5daf

Commits on Jul 14, 2023

• Merge branch 'main' of github.com:tonyfettes/lambda_cube

  tonyfettes

  committed
  f2f8cb0

  Copy full SHA for f2f8cb0

• misc: update dependencies

  tonyfettes

  committed
  965791f

  Copy full SHA for 965791f

Commits on Jun 30, 2023

• feat: support space

  INFCode

  committed
  4ed438f

  Copy full SHA for 4ed438f

• fix: use parsers from module

  INFCode

  committed
  f47d18e

  Copy full SHA for f47d18e

Commits on Jun 29, 2023

• refactor(norm): remove Type and Expr in norm

  tonyfettes

  committed
  18cf09a

  Copy full SHA for 18cf09a

• fix(parse): fix parse for -> and annotation

  tonyfettes

  committed
  bceff5e

  Copy full SHA for bceff5e

• fix(repl): flush prompt

  tonyfettes

  committed
  df3eff4

  Copy full SHA for df3eff4

• feat(main): initialize repl

  tonyfettes

  committed
  e8c8100

  Copy full SHA for e8c8100

• feat(norm): implement Type::from

  tonyfettes

  committed
  f9f70bf

  Copy full SHA for f9f70bf

• fix(parse): fix test case for type

  tonyfettes

  committed
  ac8c336

  Copy full SHA for ac8c336

• merge(parse): branch 'core-poc'

  tonyfettes

  committed
  0c1ec9f

  Copy full SHA for 0c1ec9f

• feat(face): impl Display for Error

  tonyfettes

  committed
  6456faf

  Copy full SHA for 6456faf

• feat(parse): arrow type

  tonyfettes

  committed
  bb79ad1

  Copy full SHA for bb79ad1

• refactor some parsing functions

  INFCode

  committed
  b090164

  Copy full SHA for b090164

Commits on Jun 28, 2023

• fix(face): fix type function rule

  Show description for 04b4f58
  tonyfettes

  committed
  04b4f58

  Copy full SHA for 04b4f58

• feat: use De Bruijn index

  tonyfettes

  committed
  5889c0a

  Copy full SHA for 5889c0a

• merge: branch 'core-poc'

  tonyfettes

  committed
  fb0b30c

  Copy full SHA for fb0b30c

• refactor: elaborate + interprete

  tonyfettes

  committed
  9ecf9e1

  Copy full SHA for 9ecf9e1

Commits on Jun 24, 2023

• Update README.md

  Show description for 2726747
  INFCode

  authored
  2726747

  Copy full SHA for 2726747

• add LICENSE.txt

  INFCode

  authored
  79647fd

  Copy full SHA for 79647fd

• add display to ast

  INFCode

  committed
  e4dc2c2

  Copy full SHA for e4dc2c2

• move files around

  INFCode

  committed
  d14b9ba

  Copy full SHA for d14b9ba

• Core compiler draft

  INFCode

  committed
  c2ad580

  Copy full SHA for c2ad580

Commits on Jun 14, 2023

• misc: rename lc to lambda_cube

  tonyfettes

  committed
  3d57eb9

  Copy full SHA for 3d57eb9

• refactor: Term::Num -> Term::Int

  tonyfettes

  committed
  bc021e0

  Copy full SHA for bc021e0

• refactor: delete utlc

  Show description for 66e6255
  tonyfettes

  committed
  66e6255

  Copy full SHA for 66e6255

• Merge branch 'main' of github.com:tonyfettes/lambda_cube

  tonyfettes

  committed
  6e7e5b9

  Copy full SHA for 6e7e5b9

• feat: add Num & Str, implement type synthesize

  tonyfettes

  committed
  05df13f

  Copy full SHA for 05df13f

Commits on Jun 13, 2023

• Add Display for untyped LC

  INFCode

  committed
  3a2a7e8

  Copy full SHA for 3a2a7e8

• fix mod broken by renaming

  INFCode

  committed
  f6403e8

  Copy full SHA for f6403e8

• rename files to makes more sense

  INFCode

  committed
  f0aa395

  Copy full SHA for f0aa395

Pagination

Previous

Next