Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 15, 2021

• port typedefs to idris2

  andrevidela

  committed
  674e753

  Copy full SHA for 674e753

Commits on Jun 23, 2020

• Update version numbers

  

  André Videla

  committed
  3ff3894

  Copy full SHA for 3ff3894

Commits on Jun 21, 2020

• Updated exposed API from Elba package manager

  

  André Videla

  committed
  17eea0c

  Copy full SHA for 17eea0c

• Add types with dummy arities in Library

  

  André Videla

  committed
  36d63e7

  Copy full SHA for 36d63e7

Commits on Jun 19, 2020

• Implement parsing specialised types

  Show description for fe980f4
  andrevidela

  committed
  fe980f4

  Copy full SHA for fe980f4

• introduce TDefDeserialiser interface

  Show description for aec6b40
  andrevidela

  committed
  aec6b40

  Copy full SHA for aec6b40

Commits on Jun 16, 2020

• Add Installation literature

  Show description for b199d3b
  andrevidela

  committed
  b199d3b

  Copy full SHA for b199d3b

Commits on Jun 1, 2020

• re-implement termwrite

  andrevidela

  committed
  99559de

  Copy full SHA for 99559de

• update API for Idris serialisers

  andrevidela

  committed
  a0b0c18

  Copy full SHA for a0b0c18

• Split Ty functions into their own file

  andrevidela

  committed
  feba624

  Copy full SHA for feba624

Commits on May 31, 2020

• Fix CLI help message

  Show description for 47a6699
  

  epost

  authored and

  andrevidela

  committed
  47a6699

  Copy full SHA for 47a6699

Commits on May 25, 2020

• Split Ty functions into their own file

  andrevidela

  committed
  93bc159

  Copy full SHA for 93bc159

• change Ty to take a specialisation context in argument

  andrevidela

  committed
  4a34477

  Copy full SHA for 4a34477

Commits on Apr 28, 2020

• Add AlphaTy, BetaTy and GammaTy (#219)

  Show description for a0ce68a
  andrevidela

  authored
  a0ce68a

  Copy full SHA for a0ce68a

• Merge pull request #218 from typedefs/json-binary-format

  Show description for 322b98e
  epost

  authored
  322b98e

  Copy full SHA for 322b98e

• Implement JSON Serialisation format

  Show description for 78336e5
  andrevidela

  committed
  78336e5

  Copy full SHA for 78336e5

Commits on Mar 30, 2020

• move stuff to Library #211

  

  clayrat

  authored and

  andrevidela

  committed
  5553aa0

  Copy full SHA for 5553aa0

• generalize add/ignoreShift #211

  

  clayrat

  authored and

  andrevidela

  committed
  68bd382

  Copy full SHA for 68bd382

• syntax #211

  

  clayrat

  authored and

  andrevidela

  committed
  b2b8965

  Copy full SHA for b2b8965

• add test cases for nested mus #211

  

  clayrat

  authored and

  andrevidela

  committed
  94773a2

  Copy full SHA for 94773a2

• fix shiftVars #211

  

  clayrat

  authored and

  andrevidela

  committed
  8278452

  Copy full SHA for 8278452

• WIP nested mu fix #211

  

  clayrat

  authored and

  andrevidela

  committed
  d1e5784

  Copy full SHA for d1e5784

Commits on Mar 8, 2020

• Split api (#207)

  Show description for fa086e9
  

  andrevidela

  and

  clayrat

  authored
  fa086e9

  Copy full SHA for fa086e9

Commits on Feb 27, 2020

• minor refactoring

  

  clayrat

  authored and

  andrevidela

  committed
  8399f01

  Copy full SHA for 8399f01

• Update the front-end parser to use topLevelDef

  andrevidela

  committed
  4aa3a2d

  Copy full SHA for 4aa3a2d

• bump nixpkgs

  

  clayrat

  authored and

  andrevidela

  committed
  63f1471

  Copy full SHA for 63f1471

• Update the front-end parser to use topLevelDef

  andrevidela

  committed
  95be982

  Copy full SHA for 95be982

• wip haskell support

  andrevidela

  committed
  2cba55e

  Copy full SHA for 2cba55e

• fix type application for references

  andrevidela

  committed
  4d2e5d7

  Copy full SHA for 4d2e5d7

• add failing test

  andrevidela

  committed
  eff5b94

  Copy full SHA for eff5b94

• fix tests with termparse

  andrevidela

  committed
  3c3efe5

  Copy full SHA for 3c3efe5

• add tests for specialisation

  andrevidela

  committed
  51168f6

  Copy full SHA for 51168f6

• Update context with specialised types

  andrevidela

  committed
  0af4401

  Copy full SHA for 0af4401

• fix chooseparser

  andrevidela

  committed
  2392d22

  Copy full SHA for 2392d22

• WIP

  

  clayrat

  authored and

  andrevidela

  committed
  c42345b

  Copy full SHA for c42345b

Pagination

Previous

Next