커밋 기록

작성자 SHA1 메시지 날짜
  Jesper Cockx 0fc6b558b0 [ re #5386 ] Address two comments by @nad 3 년 전
  Wen Kokke c96a34dfc8 Removed deprecated UHC pragramas and FloatsUHCFails test. 4 년 전
  Nils Anders Danielsson da1a77c650 Fixed #2909. 6 년 전
  Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases 7 년 전
  Philipp Hausmann 40704dc3e4 [ js ] Compile coinduction as object 7 년 전
  Philipp Hausmann 33dcd76759 [ js ] Add coinduction support. 8 년 전
  Philipp Hausmann 05b533ae73 [ tests ] Use proper putStrLn compiled pragmas. 9 년 전
  Philipp Hausmann 182b6d6a8f [ tests ] Move some compiler tests from Succeed to Compiler/simple. 9 년 전