Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 4, 2023

• Merge pull request idris-lang#4922 from felixonmars/patch-2

  Show description for 80fa67e
  melted

  authored
  80fa67e

Commits on Feb 5, 2023

• Allow fsnotify 0.4

  Show description for b0e8c80
  felixonmars

  authored
  b0e8c80

Commits on Oct 10, 2022

• Merge pull request idris-lang#4921 from felixonmars/patch-2

  Show description for 28fa2d8
  melted

  authored
  28fa2d8

• Allow vector 0.13

  Show description for 0a720a2
  felixonmars

  authored
  0a720a2

Commits on Aug 23, 2022

• Merge pull request idris-lang#4920 from felixonmars/patch-2

  Show description for 8d9a494
  melted

  authored
  8d9a494

• Allow libffi 0.2

  Show description for 6d6017f
  felixonmars

  authored
  6d6017f

Commits on Apr 17, 2022

• Merge pull request idris-lang#4916 from attila-lendvai-patches/guix

  Show description for c99bc9e
  melted

  authored
  c99bc9e

• Merge pull request idris-lang#4915 from attila-lendvai-patches/ffi008

  Show description for 7b19565
  melted

  authored
  7b19565

Commits on Apr 14, 2022

• Add a guix.scm for easy building on Guix.

  Show description for 366f236
  attila-lendvai

  committed
  366f236

• fix ffi008 test: Avoid multiple definition of `mystruct'.

  attila-lendvai

  committed
  b2a1960

• Revert "fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+"

  Show description for 3020d77
  attila-lendvai

  committed
  3020d77

Commits on Mar 7, 2022

• Merge pull request idris-lang#4912 from Mathnerd314/patch-1

  Show description for 49594c6
  melted

  authored
  49594c6

Commits on Mar 1, 2022

• mention named implementations earlier

  Mathnerd314

  authored
  fa13022

Commits on Feb 10, 2022

• Merge pull request idris-lang#4910 from attila-lendvai-patches/ffi008

  Show description for 33b06b0
  melted

  authored
  33b06b0

Commits on Jan 5, 2022

• Merge pull request idris-lang#4909 from pawelsawicz/patch-1

  Show description for 52d123c
  jfdm

  authored
  52d123c

Commits on Dec 30, 2021

• fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+

  Show description for a91cea8
  attila-lendvai

  committed
  a91cea8

Commits on Nov 7, 2021

• Changed IRC server information

  pawelsawicz

  authored
  e17e0ef

Commits on Oct 22, 2021

• Merge pull request idris-lang#4908 from melted/idris-release-1.3.4

  Show description for d30e505
  melted

  authored
  d30e505

• Update version to 1.3.4

  melted

  committed
  d37b0cb

• Rename forall

  Show description for 4b91a95
  melted

  committed
  4b91a95

• Update appveyor script

  melted

  committed
  b1f3dd7

• Merge pull request idris-lang#4906 from attila-lendvai/cc-env

  Show description for 0d094e7
  melted

  authored
  0d094e7

• Merge pull request idris-lang#4894 from alexfmpe/patch-2

  Show description for 8752d86
  melted

  authored
  8752d86

• Merge pull request idris-lang#4900 from vanillajonathan/patch-1

  Show description for 13cdb16
  melted

  authored
  13cdb16

Commits on Sep 22, 2021

• IDRIS_CC and IDRIS_CFLAGS: fallback to the unprefixed variables

  attila-lendvai

  committed
  22c792a

Commits on Aug 29, 2021

• Merge pull request idris-lang#4902 from attila-lendvai/attila

  Show description for 9f5ceb7
  melted

  authored
  9f5ceb7

• README: mention Idris2 and clarify the situation WRT Idris 1

  attila-lendvai

  committed
  9c9e936

• added a shell.nix and updated INSTALL.md

  attila-lendvai

  committed
  f964806

Commits on Aug 21, 2021

• Merge pull request idris-lang#4903 from juhp/patch-5

  Show description for 64b6d04
  melted

  authored
  64b6d04

• allow ansi-terminal-0.11 and megaparsec-9

  Show description for 783737d
  juhp

  authored
  783737d

Commits on Jun 26, 2021

• Merge pull request idris-lang#4897 from SekiT/fix-typo-erase

  Show description for 2ef8238
  melted

  authored
  2ef8238

Commits on Jun 20, 2021

• Add hyphen

  vanillajonathan

  authored
  0f5533e

Commits on Jan 29, 2021

• Fix typo: erae => erase

  SekiT

  authored
  12ad2f4

Commits on Jan 11, 2021

• Fix typo

  alexfmpe

  authored
  dcf9257

Commits on Dec 30, 2020

• Merge pull request idris-lang#4891 from lynn/patch-1

  Show description for a13caeb
  melted

  authored
  a13caeb

Pagination

PreviousNext