Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 28, 2022

• implement undefined

  egisatoshi

  committed
  e1ad38d

Commits on Nov 27, 2022

• alpha conversion and nat_add_comm

  egisatoshi

  committed
  3489ac4

Commits on Nov 25, 2022

• fix sample

  egisatoshi

  committed
  4077410

• implement converage check

  egisatoshi

  committed
  148866c

• update the type of checkPattern

  egisatoshi

  committed
  c0d5573

• add syntax sugar

  egisatoshi

  committed
  6015e6c

Commits on Nov 24, 2022

• split program files

  egisatoshi

  committed
  a58e925

• add README.md

  egisatoshi

  committed
  4f5974c

• add LICENSE

  egisatoshi

  committed
  52d9d69

• update samples

  egisatoshi

  committed
  232da00

• -> to →

  egisatoshi

  committed
  dc05caa

• add elisp file

  egisatoshi

  committed
  f8570b1

Commits on Nov 23, 2022

• delete sample ast

  egisatoshi

  committed
  1ca8813

• enable to parse file

  egisatoshi

  committed
  cc7436c

• implement parser

  egisatoshi

  committed
  bbd5229

• start implementing parser

  egisatoshi

  committed
  c3ce96a

• rename files

  egisatoshi

  committed
  97cd48c

Commits on Nov 20, 2022

• remove warning

  egisatoshi

  committed
  26c6b35

• reimeplement value pattern check

  egisatoshi

  committed
  d16b0a8

• refactor unify

  egisatoshi

  committed
  c4ab798

Commits on Nov 18, 2022

• add pattern matching of value pat

  egisatoshi

  committed
  6b9e04c

• refactor test code

  egisatoshi

  committed
  bd42c5f

• enable to check plusZero

  egisatoshi

  committed
  b226e27

• not desugar applyMultiE and lambdaMultiE for funcitons with pattern matching

  egisatoshi

  committed
  0fdc6f6

Commits on Nov 17, 2022

• tested antisym

  egisatoshi

  committed
  24f2018

Commits on Nov 16, 2022

• delete old code

  egisatoshi

  committed
  9046cc2

• add a function to generate variable names of type and data constructors

  egisatoshi

  committed
  7aa8448

• change the argument type of CaseE

  egisatoshi

  committed
  3adcf78

• rename wildcard

  egisatoshi

  committed
  faec82c

• change the type of desugar

  egisatoshi

  committed
  e671c23

• add fresh

  egisatoshi

  committed
  1068851

Commits on Nov 10, 2022

• implementing unification

  egisatoshi

  committed
  7c65f24

• still implementing pattern matching

  egisatoshi

  committed
  8af5add

Commits on Nov 4, 2022

• update

  egisatoshi

  committed
  c8b7fcd

Commits on Oct 27, 2022

• implement equality of inductive data

  egisatoshi

  committed
  476e22f

Pagination

PreviousNext