Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 4, 2021

• Update to latest Idris 2 master

  Show description for a491be7
  bamboo

  committed
  a491be7

  Copy full SHA for a491be7

Commits on Jun 23, 2021

• Install Idris packages with sources

  bamboo

  committed
  ff4a4db

  Copy full SHA for ff4a4db

• Update to latest Idris 2 master

  Show description for d38344e
  bamboo

  committed
  d38344e

  Copy full SHA for d38344e

• Compile with warnings as errors

  bamboo

  committed
  6535a66

  Copy full SHA for 6535a66

Commits on May 26, 2021

• Support System.getArgs

  bamboo

  committed
  c426c36

  Copy full SHA for c426c36

• Polish Main.idr

  Show description for 86c0d73
  bamboo

  committed
  86c0d73

  Copy full SHA for 86c0d73

• Honour --output-dir

  bamboo

  committed
  b443b2b

  Copy full SHA for b443b2b

Commits on May 23, 2021

• Polish

  Show description for 8da9388
  bamboo

  committed
  8da9388

  Copy full SHA for 8da9388

• Implement primitives required by Data.IORef

  bamboo

  committed
  6d8b1d6

  Copy full SHA for 6d8b1d6

• Augment Flutter FFI

  bamboo

  committed
  21609ce

  Copy full SHA for 21609ce

• Add FFI test for parameterless constructors

  bamboo

  committed
  6fef253

  Copy full SHA for 6fef253

• Disambiguate UpcastList.toList usage

  bamboo

  committed
  02a9c61

  Copy full SHA for 02a9c61

Commits on May 9, 2021

• Handle callback arguments to positional constructor parameters

  bamboo

  committed
  fbf72b1

  Copy full SHA for fbf72b1

• Flutter FFI: TextField

  bamboo

  committed
  5c9ac43

  Copy full SHA for 5c9ac43

Commits on May 8, 2021

• Fix inlining of believe_me calls

  bamboo

  committed
  a2b0b94

  Copy full SHA for a2b0b94

• Fluter FFI: Navigator.popUntil

  bamboo

  committed
  221dc08

  Copy full SHA for 221dc08

Commits on May 1, 2021

• Implement Prelude.Types.fastUnpack, fastPack and fastConcat

  bamboo

  committed
  28e9fb3

  Copy full SHA for 28e9fb3

Commits on Apr 29, 2021

• Augment Flutter FFI

  Show description for a5185e2
  bamboo

  committed
  a5185e2

  Copy full SHA for a5185e2

• Allow unsafeNull as foreign function argument

  Show description for fea6cef
  bamboo

  committed
  fea6cef

  Copy full SHA for fea6cef

• Introduce Dart.Core.String

  bamboo

  committed
  affcbea

  Copy full SHA for affcbea

• Introduce Dart.Core.Duration

  bamboo

  committed
  8f0b25a

  Copy full SHA for 8f0b25a

• Introduce Dart.FFI.Elab.Dsl.primitive

  Show description for 045cf07
  bamboo

  committed
  045cf07

  Copy full SHA for 045cf07

• Introduce Dart.FFI.Elab.Dsl.getter for effectful property getters

  bamboo

  committed
  03c8e61

  Copy full SHA for 03c8e61

Commits on Apr 26, 2021

• Polish Dart.FFI.Elab.Implementation

  Show description for 0ab407d
  bamboo

  committed
  0ab407d

  Copy full SHA for 0ab407d

Commits on Apr 25, 2021

• Emit smaller import aliases

  Show description for 0d1fbb4
  bamboo

  committed
  0d1fbb4

  Copy full SHA for 0d1fbb4

• Let Flutter FFI declare const constructors

  Show description for 9468428
  bamboo

  committed
  9468428

  Copy full SHA for 9468428

• Polish flutterdoodle example

  Show description for fce8ad6
  bamboo

  committed
  fce8ad6

  Copy full SHA for fce8ad6

• Refactor ConstConstructor into Const $ Constructor

  bamboo

  committed
  0c254e7

  Copy full SHA for 0c254e7

• Polish Main.idr

  bamboo

  committed
  9f5cb9f

  Copy full SHA for 9f5cb9f

• Document emitted function with original name and location

  Show description for 5c4ac75
  bamboo

  committed
  5c4ac75

  Copy full SHA for 5c4ac75

• Add leading comma to argument lists for better auto-formatting

  Show description for 61070fa
  bamboo

  committed
  61070fa

  Copy full SHA for 61070fa

• Augment Flutter FFI

  Show description for ad8ffd6
  bamboo

  committed
  ad8ffd6

  Copy full SHA for ad8ffd6

• Introduce Dart.Core.Map and Dart.Core.Set

  Show description for 8b2ddaf
  bamboo

  committed
  8b2ddaf

  Copy full SHA for 8b2ddaf

• Introduce support for invoking Dart const constructors

  Show description for 972d4c5
  bamboo

  committed
  972d4c5

  Copy full SHA for 972d4c5

Commits on Apr 23, 2021

• Rewrite Stateless and Painter FFI atop importDart macro

  bamboo

  committed
  89fa6f8

  Copy full SHA for 89fa6f8

Pagination

Previous

Next