Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2016-12-22

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:11 siel joined #darcs
00:25 siel joined #darcs
00:25 siel joined #darcs
00:53 mizu_no_oto joined #darcs
14:32 stef204 joined #darcs
16:10 stef204 joined #darcs
16:50 Riastradh joined #darcs
16:58 stef204 joined #darcs
17:40 stef204 joined #darcs
23:46 carter Aristid ilovezfs I've been meaning to use those for a nice AWS state / semantics model. Got a few yaks between here and there
23:47 aristid carter: not sure what you mean :)
23:48 carter Coq / agda / Datalog like tools for infra config
23:48 carter Goals vs tactics vs proof that Is the program from current state to target state etc
23:49 aristid carter: based on AWS JSON service descriptions?

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary