Repository navigation

Commits

Commits on Nov 5, 2026
- Syntax
  jgbm
  committed
  6813218
Commits on Nov 2, 2026
- More unicode support (#55)
  ahubers
  authored
  a0ec19e
Commits on Oct 31, 2026
- Provide a clue to the use of the `.rosi` file in README.
  jgbm
  committed
  1160ed2
- `setLocaleEncoding` removes the need to set
  jgbm
  committed
  643b17e
Commits on Oct 29, 2026
- Add (some) missing cases to predicate entailment.
  jgbm
  committed
  2739484
- Restore size examples
  jgbm
  committed
  6d5d2c3
Commits on Oct 28, 2026
- Detect some unsatisfiable predicates.
  jgbm
  committed
  78e7eda
- Fix search-and-replace error in examples.
  jgbm
  committed
  42f34bb
- Document the reified row examples.
  jgbm
  committed
  78371e9
Commits on Oct 26, 2026
- add .DS_Store to .gitignore
  McTano
  committed
  856b132
Commits on Oct 25, 2026
- set locale encoding to utf8
  ahubers
  committed
  a8ccca5
- Add test cases for all proposed Unicode support
  ahubers
  committed
  1a64eb0
Commits on Sep 4, 2026
- Add reference to ATIA in README
  ahubers
  authored
  82de7e7
Commits on Aug 29, 2026
- Unicode in examples
  jgbm
  committed
  424363c
- Unicode.... and align printed values with input syntax
  jgbm
  committed
  a521791
Commits on Aug 3, 2026
- Set console output to UTF8
  jgbm
  committed
  af95ace
Commits on Aug 2, 2026
- GADT examples
  jgbm
  committed
  b9695e8
- Re-add expansion of predicates in solving.
  jgbm
  committed
  22db7ba
- Add binary expansions for plus-leq combinations.
  jgbm
  committed
  6ad8c2b
- Parser support for type annotations in cases.
  jgbm
  committed
  f53a0f0
Commits on Aug 1, 2026
- More packing, along with some dubious guessing.
  jgbm
  committed
  1ca4af4
Commits on Jul 28, 2026
- Fix more shifting related bugs in the global environment.
  jgbm
  committed
  fc57201
- Repair generalization.
  jgbm
  committed
  a883528
- Examples of improvement; also start working on reified rows.
  jgbm
  committed
  6bd7c7f
- Fix a number of missing cases in the treatment of existentials.
  jgbm
  committed
  16ce7d1
- First pass at improvement
  jgbm
  committed
  2fa0891
- Print progress to stderr instead of stdout.
  jgbm
  committed
  31b00e4
Commits on Jul 25, 2026
- Add some comments, tidy some code.
  jgbm
  committed
  38decbe
- Introduce a few uses of `syb`, many fewer than I had hoped.
  jgbm
  committed
  ef56f2c
- Add option to show progress in type checking.
  jgbm
  committed
  bf4aa91
Commits on Jul 23, 2026
- Syntactic sugar for multiple row entries with the
  jgbm
  committed
  b884ff8
Commits on Jul 19, 2026
- Turn on warning for partial functions.
  jgbm
  committed
  bb427f3
Commits on Jul 18, 2026
- Fix pair of shifting bugs in existentials.
  jgbm
  committed
  fb66b4b
- Unpack existentials in `let`s and in top-leve
  jgbm
  committed
  48e4d67
Commits on Jul 17, 2026
- Syntactic sugar for tuples and tuple types
  jgbm
  committed
  1a02b15

Branch selector

User selector

Datepicker

Commit history

Commits on Nov 5, 2026

Commits on Nov 2, 2026

Commits on Oct 31, 2026

Commits on Oct 29, 2026

Commits on Oct 28, 2026

Commits on Oct 26, 2026

Commits on Oct 25, 2026

Commits on Sep 4, 2026

Commits on Aug 29, 2026

Commits on Aug 3, 2026

Commits on Aug 2, 2026

Commits on Aug 1, 2026

Commits on Jul 28, 2026

Commits on Jul 25, 2026

Commits on Jul 23, 2026

Commits on Jul 19, 2026

Commits on Jul 18, 2026

Commits on Jul 17, 2026