8000 Tags · cladam/hica · GitHub
[go: up one dir, main page]

Skip to content

Tags

Tags

v0.49.16

Toggle v0.49.16's commit message
fix: adapt try() call order for Koka 3.2.9 signature change

v0.49.15

Toggle v0.49.15's commit message
fix: fix so a recursive struct get div propagated into its auto-deriv…

…ed show

v0.49.14

Toggle v0.49.14's commit message
fix: fix hica.hml parsing

v.49.13

Toggle v.49.13's commit message
feat: add list_dir stdlib builtin for directory listing

8000

v0.49.13

Toggle v0.49.13's commit message
chore: bump with correct tag

v0.49.12

Toggle v0.49.12's commit message
fix: add a blank line detection for docstrings

v0.49.11

Toggle v0.49.11's commit message
fix: update so docstrings are seperated

v0.49.10

Toggle v0.49.10's commit message
fix: update so docstrings work on top-level, like a header

v0.49.9

Toggle v0.49.9's commit message
fix: improve clean command to also clean .koka dir with --full

Intent Log:
- Pre-sync safety snapshot

v0.49.8

Toggle v0.49.8's commit message
feat: add spawn-effects as imported function bodies in user-prog.decls

0