rems-project/islaris

Issues

• Installation does not work with MacOS

  #27 opened 5 months ago by KimayaBedarkar
  3

• Unable to create switch

  #23 opened 10 months ago by ric-almeida
  2

• islaris.opam: duplicate dependency

  #22 opened a year ago by ric-almeida
  0

• isla-lang now not building with new pprint

  #16 opened 2 years ago by ric-almeida
  0