Commits

Breadcrumbs

History for

onadd/updo

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2023

• typo

  gelisam

  authored
  67d4eed
  More actions

Commits on Oct 15, 2023

• (< 10) in Klister and Haskell mean opposite things :(

  gelisam

  committed
  a660aad
  More actions

• put list examples under test

  gelisam

  committed
  c0300dd
  More actions

Commits on Aug 2, 2023

• rename list-datatype.kl

  gelisam

  committed
  38e0c32
  More actions

Commits on Aug 1, 2023

• make keywords harder to mistype

  gelisam

  committed
  50b83af
  More actions

Commits on Jul 31, 2023

• incomplete type equality function

  gelisam

  committed
  3109795
  More actions

• simplify lambda-case example

  gelisam

  committed
  1ae3ead
  More actions

• define-keyword

  gelisam

  committed
  27183c3
  More actions

• define-variadic-macro

  gelisam

  committed
  ec34034
  More actions

Commits on Jul 23, 2023

• better way to regenerate golden files

  gelisam

  committed
  5aea4d2
  More actions

• move examples to defuns-test

  gelisam

  committed
  709f3f8
  More actions

Commits on Mar 14, 2023

• testsuite: test all examples, use tasty-golden

  doyougnu

  committed
  c9e93f3
  More actions

Commits on Feb 24, 2023

• Merge pull request gelisam#209 from gelisam/gelisam/define-macros-body-scope

  gelisam

  authored
  795393c
  More actions

• expander: add Mortise/Tenon newtypes

  doyougnu

  committed
  e4f8ec8
  More actions

• tests for the post-define-macros scope

  gelisam

  committed
  19b9b6b
  More actions

Commits on Jan 5, 2023

• update kernel examples to use new (Type) syntax

  gelisam

  committed
  cb96e90
  More actions

Commits on Jan 3, 2023

• pretty-printing the type (→ A)

  gelisam

  committed
  e028246
  More actions

• also test -> without parens

  gelisam

  committed
  2847b4e
  More actions

Commits on Jan 2, 2023

• The type (-> A B) can now be partially-applied

  gelisam

  committed
  d2b09b6
  More actions

• primitive datatypes like (Maybe a) now support (Maybe)

  gelisam

  committed
  149b639
  More actions

Commits on Jan 1, 2023

• unary types like (IO a) now support (IO)

  gelisam

  committed
  37a44a2
  More actions

Commits on Dec 8, 2022

• typo

  gelisam

  authored
  c1cacd2
  More actions

• typo

  gelisam

  authored
  a71d744
  More actions

• Update lambda-case.kl

  gelisam

  authored
  4738014
  More actions

• shorter explanation for lambda-case

  gelisam

  committed
  83721d7
  More actions

Commits on Dec 7, 2022

• Revert "longer documentation for hygiene.kl"

  gelisam

  committed
  d46f3f6
  More actions

Commits on Dec 6, 2022

• longer documentation for hygiene.kl

  gelisam

  committed
  ec40803
  More actions

• round braces

  gelisam

  committed
  5438ef0
  More actions

Commits on Dec 5, 2022

• reorganize the lambda-case explanation

  gelisam

  committed
  f47874f
  More actions

• Merge pull request gelisam#178 from gelisam/gelisam/primitives-documentation

  gelisam

  authored
  8fc5e8a
  More actions

• typo

  gelisam

  authored
  0df70b8
  More actions

• Merge pull request gelisam#179 from gelisam/gelisam/klister-is-a-programming-language

  gelisam

  authored
  b8231c1
  More actions

Commits on Nov 13, 2022

• "type classes" is two words

  

  gelisam

  and

  david-christiansen

  authored
  45f9125
  More actions

Commits on Nov 7, 2022

• regenerate golden files

  gelisam

  committed
  cbb0d0b
  More actions

• over-explain lambda-case

  gelisam

  committed
  0021f1f
  More actions

Pagination

PreviousNext