-
[#453] Don't wrap DIPN with notes 7 of 7 checklist items completed!676
- Merged
-
- Approved
updated -
[#386] Preserve variable annotations in `TypeCheck`. 8 of 8 checklist items completed!618
- Merged
- 25
- Approved
updated -
[#270] Add Indigo CLI installation script 8 of 8 checklist items completed!566
- Merged
- 66
- Approved
updated -
[#231] Add batching to nettest transactions 8 of 8 checklist items completed!577
- Merged
- 79
- Approved
updated -
[#197] Add ability to automatically generate comments for statements 8 of 8 checklist items completed!596
- Merged
- 36
- Approved
updated -
[#349] Add the usage of Indigo by docker called `indigo-trial` to the tutorial 8 of 8 checklist items completed!639
- Merged
- 12
- Approved
updated -
[#269] Make Indigo a tool 8 of 8 checklist items completed!544
- Merged
- 124
- Approved
updated -
Use dedicated runner with docker 0 of 8 checklist items completed!666
- Merged
-
- 2
- Approved
updated -
indigo-0.3.1 8 of 8 checklist items completed!632
- Merged
- Approved
updated -
Fix 'test-indigo-install-script' job 8 of 8 checklist items completed!654
- Merged
-
- 6
- Approved
updated -
- Merged
- 1
- Approved
updated -
[#349] Bundle indigo with haskell deps 6 of 8 checklist items completed!595
- Merged
-
- 29
- Approved
updated -
[#352] Install indigo via install.sh and test it 8 of 8 checklist items completed!601
- Merged
-
- 20
- Approved
updated -
[#319] Handle euclidean division of negative Integer and Natural 8 of 8 checklist items completed!598
- Merged
- 39
- Approved
updated -
[#349] Remove the usage of mixin from Indigo CLI's generated boilerplate 8 of 8 checklist items completed!623
- Merged
- 14
- Approved
updated -
Move UStore 7 of 8 checklist items completed!629
- Merged
- 5
- Approved
updated -
[#389] Proper haddock check in ci 8 of 8 checklist items completed!620
- Merged
-
- 2
- Approved
updated -
- Merged
- 2
- Approved
updated -
indigo-0.2.2 8 of 8 checklist items completed!581
- Merged
- 5
- Approved
updated -
[TM-410] fix Indigo website included lines 8 of 8 checklist items completed!518
- Merged
-
- Approved
updated