Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 10, 2025

• Update stack lts

  nojima

  committed
  7171b10

  Copy full SHA for 7171b10

Commits on Jun 24, 2021

• Update stack lts

  nojima

  committed
  e62b9e9

  Copy full SHA for e62b9e9

Commits on Aug 22, 2020

• Fix bug of let-polymorphism

  nojima

  committed
  ccf451f

  Copy full SHA for ccf451f

• MIT License

  nojima

  committed
  db42032

  Copy full SHA for db42032

Commits on Apr 22, 2020

• Fix ParseSpec

  nojima

  committed
  a157594

  Copy full SHA for a157594

• Use Identifier.fromText

  nojima

  committed
  8ac03a0

  Copy full SHA for 8ac03a0

Commits on Apr 12, 2020

• Update README

  nojima

  committed
  8fb436f

  Copy full SHA for 8fb436f

• Update README

  nojima

  committed
  458af04

  Copy full SHA for 458af04

• Update README

  nojima

  committed
  d6a1bb0

  Copy full SHA for d6a1bb0

• Implement pattern match

  nojima

  committed
  2916e85

  Copy full SHA for 2916e85

• WIP

  nojima

  committed
  48d2252

  Copy full SHA for 48d2252

• Add bang to tiny objects

  nojima

  committed
  a879d7f

  Copy full SHA for a879d7f

Commits on Apr 11, 2020

• Refactor TypeCheck.hs

  nojima

  committed
  8f10395

  Copy full SHA for 8f10395

• Remove redundant constraints

  nojima

  committed
  8ce3f87

  Copy full SHA for 8ce3f87

• Bug fix

  nojima

  committed
  e50ee99

  Copy full SHA for e50ee99

• Improve error message

  nojima

  committed
  5446801

  Copy full SHA for 5446801

• <?> to label

  nojima

  committed
  0963654

  Copy full SHA for 0963654

• Add label for binary operators

  nojima

  committed
  59a6877

  Copy full SHA for 59a6877

• Rename double to square

  nojima

  committed
  e4d4e74

  Copy full SHA for e4d4e74

• Rename expr_ to simpleExpr

  nojima

  committed
  e740f4a

  Copy full SHA for e740f4a

• Let Frame be a Map

  nojima

  committed
  ef9235b

  Copy full SHA for ef9235b

• Extract mapVariable from substituteType and applySubstitution

  nojima

  committed
  393a3d2

  Copy full SHA for 393a3d2

Commits on Apr 10, 2020

• Add sample13

  nojima

  committed
  dbad678

  Copy full SHA for dbad678

• Fix indent of where

  nojima

  committed
  91d0be9

  Copy full SHA for 91d0be9

• Rewrite term parser

  nojima

  committed
  ab6136d

  Copy full SHA for ab6136d

• Add missing constraint about def

  nojima

  committed
  cd42daf

  Copy full SHA for cd42daf

• Discard the result of symbol

  nojima

  committed
  b9213f0

  Copy full SHA for b9213f0

• Rename term_

  nojima

  committed
  adca62a

  Copy full SHA for adca62a

• Update README

  nojima

  committed
  c47b4c6

  Copy full SHA for c47b4c6

• Implement isEqual for tuple

  nojima

  committed
  cd89920

  Copy full SHA for cd89920

• Add fst and snd

  nojima

  committed
  a0d8a4c

  Copy full SHA for a0d8a4c

• Add tuple literal

  nojima

  committed
  fb18d8b

  Copy full SHA for fb18d8b

• Add .hlint.yaml

  nojima

  committed
  2554c71

  Copy full SHA for 2554c71

• Fix bug of (==) for list

  nojima

  committed
  ec5d4e7

  Copy full SHA for ec5d4e7

• Update README

  nojima

  committed
  adc9c8a

  Copy full SHA for adc9c8a

Pagination

Previous

Next