Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 30, 2019

• Merge pull request idris-hackers#56 from MarcelineVQ/church-unit-tests

  Show description for 03e178f
  yurrriq

  authored
  03e178f

• Merge pull request idris-hackers#57 from acarrico/patch-1

  Show description for b8da38d
  yurrriq

  authored
  b8da38d

• Adds missing arguments to Playground2.mult

  acarrico

  authored
  048d033

Commits on Jan 4, 2019

• Change Church namespace unit tests

  Show description for 4ef5ef2
  MarcelineVQ

  committed
  4ef5ef2

Commits on Nov 1, 2018

• Rework Nix Build

  yurrriq

  committed
  41b6038

• prerequisites_macOS.md: fix permissions

  yurrriq

  committed
  121ff8a

Commits on Oct 31, 2018

• Update {CONTRIBUTING,README}.md and rebuild doc/index.html

  yurrriq

  committed
  8276c22

Commits on Oct 29, 2018

• ImpCEvalFun rebased (idris-hackers#52)

  Show description for 6beb72c
  

  yurrriq

  authored and

  clayrat

  committed
  6beb72c

Commits on Oct 26, 2018

• Monoid -> Iosevka

  Show description for 37f4b8b
  yurrriq

  committed
  37f4b8b

• Merge pull request idris-hackers#44 from idris-hackers/feature/fix-pdf

  Show description for ffae2e3
  yurrriq

  authored
  ffae2e3

• Configure bare-bones Travis build

  yurrriq

  committed
  b38a117

• Overhaul (Nix) build

  Show description for 2fd3c68
  yurrriq

  committed
  2fd3c68

• Adopt MIT license

  yurrriq

  committed
  044cf71

• Imp: fix proofs

  yurrriq

  committed
  16f8188

• Imp: fix link

  yurrriq

  committed
  0a03935

Commits on Mar 27, 2018

• Merge pull request idris-hackers#43 from idris-hackers/impparser

  Show description for a112706
  clayrat

  authored
  a112706

Commits on Nov 4, 2017

• Merge pull request idris-hackers#45 from anton-trunov/prerequisites-macOS

  Show description for eaa63d1
  yurrriq

  authored
  eaa63d1

Commits on Nov 3, 2017

• Add installation instructions for prerequisites on macOS

  anton-trunov

  committed
  22f510f

Commits on Nov 2, 2017

• minor syntax fixes

  

  Alex Gryzlov

  committed
  6211f10

Commits on Nov 1, 2017

• examples and fixes

  

  Alex Gryzlov

  committed
  99cbe38

• commands parser, formatting

  

  Alex Gryzlov

  committed
  dde7d28

• boolean parser

  

  Alex Gryzlov

  committed
  a31d1e3

• update build

  

  Alex Gryzlov

  committed
  3d0ca4e

Commits on Oct 31, 2017

• Id/Nat/AExp parsers

  

  Alex Gryzlov

  committed
  aa95f11

Commits on Oct 30, 2017

• add ImpParser

  

  Alex Gryzlov

  committed
  4c39a10

• WIP ImpParser

  

  Alex Gryzlov

  committed
  a084b61

• fix Tactics

  

  Alex Gryzlov

  committed
  0e999ee

• Merge pull request idris-hackers#36 from idris-hackers/imp

  Show description for 894fb1f
  clayrat

  authored
  894fb1f

• Update Tactics.lidr

  clayrat

  authored
  870ed19

• Update IndProp.lidr

  clayrat

  authored
  93622cd

• Merge branch 'develop' into imp

  clayrat

  authored
  0c092a8

• fixes for latest Idris

  

  Alex Gryzlov

  committed
  776f2b4

• Merge pull request idris-hackers#32 from idris-hackers/indprinciples

  Show description for 2936a86
  clayrat

  authored
  2936a86

Commits on Aug 8, 2017

• remove unicode

  

  Alex Gryzlov

  committed
  40944fa

• remove duplication

  

  Alex Gryzlov

  committed
  218aeb2

Pagination

PreviousNext