Issues

• purity of show -- show implementation is culture-sensitive at the moment

  bamboo/idris-cil#26 · Filter by author alaendle opened on Oct 23, 2018

• support for .NET 3.5?

  bamboo/idris-cil#24 · Filter by author domdere opened on Sep 22, 2017
  1

• Emitted assemblies can be executed with dotnet core

  bamboo/idris-cil#22 · Filter by author bamboo opened on Nov 26, 2016
  

• FFI: Generics

  enhancementFFI
  bamboo/idris-cil#21 · Filter by author bamboo opened on Nov 6, 2016
  

• Implement missing Double primitives

  enhancementhelp wanted
  bamboo/idris-cil#18 · Filter by author bamboo opened on Oct 1, 2016

• optimisation: remove unreachable functions

  bamboo/idris-cil#11 · Filter by author bamboo opened on Sep 22, 2015
  1

• Integer support

  bamboo/idris-cil#10 · Filter by author bamboo opened on Sep 22, 2015
  1

• FFI: support for non int32 enums

  bamboo/idris-cil#9 · Filter by author bamboo opened on Sep 22, 2015

• FFI: attach custom attributes to exported functions

  bamboo/idris-cil#6 · Filter by author bamboo opened on Sep 22, 2015

• FFI: efficient array API

  FFIhelp wanted
  bamboo/idris-cil#5 · Filter by author bamboo opened on Sep 22, 2015
  

• FFI: delegates

  bamboo/idris-cil#4 · Filter by author bamboo opened on Sep 22, 2015
  

• FFI: automatic exception handling via Either or similar return type

  bamboo/idris-cil#3 · Filter by author bamboo opened on Sep 22, 2015