Russoul/Idris2-Lua

Issues

• Idea: Vis editor bindings

  #8 opened 3 years ago by jgarte
  3

• Readme instructions for installing `bigint`

  #7 opened 3 years ago by gwerbin
  1

• Error: Module Libraries.Data.Bool.Extra not found

  #5 opened 4 years ago by I-B-3
  3

• Readme and requirements clarification

  #1 opened 4 years ago by buzden
  2