habit-lang/alb

Issues

• Tests are currently broken

  #19 opened 3 years ago by atsuzaki
  2

• Implement :# in terms of `primBitsHi`, `primBitsLo`, `primBitsConcat`

  #12 opened 6 years ago by jgbm
  0

• Invoking Mil-tools from Alb

  #15 opened 6 years ago by jgbm
  1

• Scoped type variables

  #16 opened 6 years ago by jgbm
  0

• External area declarations

  #13 opened 6 years ago by jgbm
  4

• Some questions about the current implementation

  #14 opened 6 years ago by pluckyporcupine
  5

• Instance Chains termination and decidability

  #17 opened 5 years ago by AntC2
  1

• add software license

  #6 opened 6 years ago by pearProgrammr
  1

• Building via stack errors

  #4 opened 6 years ago by peschkaj
  3

• ghc make documentation is missing required libraries

  #5 opened 6 years ago by peschkaj
  5