Commits

Branch selector

 master

User selector

favonia

Datepicker

All time

Commit History

Commits on Mar 25, 2022

• Make redtt run again (#490)

  favonia

  authored
  ae76658

  Copy full SHA for ae76658

Commits on Nov 3, 2019

• Use Stdlib instead of Pervasives. (#484)

  favonia

  authored
  0904065

  Copy full SHA for 0904065

Commits on Nov 21, 2018

• Box and cap tactics (#467)

  Show description for c95d1a0
  favonia

  authored
  c95d1a0

  Copy full SHA for c95d1a0

Commits on Nov 20, 2018

• Backport stuff from the new-domain branch. (#468)

  favonia

  authored
  38d98bd

  Copy full SHA for 38d98bd

Commits on Nov 4, 2018

• Backport changes from the new domain. (#459)

  favonia

  authored
  d2cbc2e

  Copy full SHA for d2cbc2e

Commits on Nov 2, 2018

• Detect cyclic module dependency. (#458)

  favonia

  authored
  5c7df2a

  Copy full SHA for 5c7df2a

Commits on Oct 28, 2018

• Tm.FortyTwo backported from the new-domain PR (#452)

  Show description for de09372
  favonia

  authored
  de09372

  Copy full SHA for de09372

Commits on Oct 27, 2018

• [Rot] Phase 5: be ^^cooler^^ (#450)

  Show description for 5e098db
  favonia

  authored
  5e098db

  Copy full SHA for 5e098db

Commits on Oct 23, 2018

• Backport frow the new-domain PR. (#444)

  favonia

  authored
  51548c4

  Copy full SHA for 51548c4

• Some changes about ghcom (#445)

  Show description for 471a8d8
  favonia

  authored
  471a8d8

  Copy full SHA for 471a8d8

Commits on Oct 22, 2018

• [Rot] Stage 4: working but crappy (#437)

  Show description for 8016b50
  

  favonia

  authored and

  jonsterling

  committed
  8016b50

  Copy full SHA for 8016b50

Commits on Oct 21, 2018

• [Rot] Phase 3, with rectification of GlobalEnv. (#436)

  Show description for a3d66aa
  favonia

  authored
  a3d66aa

  Copy full SHA for a3d66aa

• Fix bugs introduced by rot2 (#435)

  Show description for 4f07e78
  favonia

  authored
  4f07e78

  Copy full SHA for 4f07e78

• Rot phase 2 (#434)

  Show description for 7f4f02a
  favonia

  authored
  7f4f02a

  Copy full SHA for 7f4f02a

• [Rot] Stage 1 (#418)

  Show description for adb4585
  

  favonia

  authored and

  jonsterling

  committed
  adb4585

  Copy full SHA for adb4585

Commits on Oct 17, 2018

• Typo in redtt.el. (#415)

  

  favonia

  authored and

  jonsterling

  committed
  fd5741d

  Copy full SHA for fd5741d

• Use names instead of strings to look up a datatype. (#414)

  Show description for 2316408
  favonia

  authored
  2316408

  Copy full SHA for 2316408

• Remove the modal stuff completely. (#412)

  favonia

  authored
  31e4f18

  Copy full SHA for 31e4f18

• Changes from the new-domain branch that can be merged first. (#407)

  Show description for 86f357c
  favonia

  authored
  86f357c

  Copy full SHA for 86f357c

• Close #148 and introduce {Option,ListUtil}.foreach. (#406)

  favonia

  authored
  5ec568e

  Copy full SHA for 5ec568e

Commits on Oct 16, 2018

• Clean up the lexer and highlighter with Thoughts (#404)

  Show description for b874fb5
  favonia

  authored
  b874fb5

  Copy full SHA for b874fb5

Commits on Oct 15, 2018

• Rectification of imports. (#380)

  Show description for d8b4c50
  favonia

  authored
  d8b4c50

  Copy full SHA for d8b4c50

Commits on Oct 14, 2018

• Allow users to omit more parentheses. (#394)

  favonia

  authored
  290f3f4

  Copy full SHA for 290f3f4

Commits on Oct 12, 2018

• Who cares about being eta-long? (#391)

  favonia

  authored
  8288688

  Copy full SHA for 8288688

Commits on Sep 28, 2018

• [Experiment] Change the type of spines to list (#359)

  Show description for 9392635
  favonia

  authored
  9392635

  Copy full SHA for 9392635

Commits on Sep 22, 2018

• Rewrite bipartiteness checking and fix bugs in scope checking. (#350)

  Show description for b0dd0ad
  favonia

  authored
  b0dd0ad

  Copy full SHA for b0dd0ad

• Implement the eta rule of the fhcom types. (#351)

  Show description for afc8b1d
  favonia

  authored
  afc8b1d

  Copy full SHA for afc8b1d

Commits on Sep 21, 2018

• Clean up code about V (#339)

  Show description for 1cdfdf9
  favonia

  authored
  1cdfdf9

  Copy full SHA for 1cdfdf9

• Not very correct name printing (#349)

  Show description for db43852
  favonia

  authored
  db43852

  Copy full SHA for db43852

Commits on Sep 18, 2018

• Revert one validity relaxation. (#334)

  favonia

  authored
  d3cee8e

  Copy full SHA for d3cee8e

Commits on Sep 17, 2018

• More optimization with relaxed validity (#329)

  Show description for c309d10
  favonia

  authored
  c309d10

  Copy full SHA for c309d10

Commits on Sep 16, 2018

• The boundary of the Moebius band, and fixes for V types. (#317)

  Show description for 7325a48
  favonia

  authored
  7325a48

  Copy full SHA for 7325a48

Commits on Sep 7, 2018

• Know your signatures (#300)

  Show description for 2d0ce33
  favonia

  authored
  2d0ce33

  Copy full SHA for 2d0ce33

• Tweak s3-join-s3. (#298)

  Show description for 6cf9d6a
  favonia

  authored
  6cf9d6a

  Copy full SHA for 6cf9d6a

• Parser hacks. (#296)

  Show description for 20e7163
  

  favonia

  authored and

  ecavallo

  committed
  20e7163

  Copy full SHA for 20e7163

Pagination

Previous

Next