Using phantom types to track the state of a process (started/stopped/loaded) is fun. Can ensure that processes are properly loaded/initialized before you can pass it to a function: github.com/jb55/asgard/blob/…
2
1
5
Replying to @jb55
Looks like a good fit for Idris State: docs.idris-lang.org/en/lates…

Jan 30, 2018 · 1:10 AM UTC

1
1
Replying to @gluegadget
every time Idris pops in my mentions
1