| *** AlisonChaiken has joined #trustable | 04:36 | |
| *** ctbruce has joined #trustable | 07:32 | |
| *** ctbruce has quit IRC | 07:52 | |
| *** locallycompact has joined #trustable | 09:36 | |
| locallycompact | prototype fork for linear types in ghc https://github.com/tweag/ghc/tree/linear-types | 10:08 |
|---|---|---|
| locallycompact | linear types allow the compiler to guarantee that resources/variables will be used at runtime a specific amount of times | 10:18 |
| locallycompact | no more and no less | 10:19 |
| *** Kinnison has quit IRC | 14:14 | |
| *** Kinnison_ has joined #trustable | 14:14 | |
| *** AlisonChaiken has quit IRC | 14:29 | |
| *** Kinnison_ is now known as Kinnison | 15:03 | |
| *** locallycompact has quit IRC | 15:46 | |
| *** locallycompact has joined #trustable | 16:43 | |
| *** locallycompact has quit IRC | 17:16 | |
| *** locallycompact has joined #trustable | 17:43 | |
| *** locallycompact has quit IRC | 18:53 | |
| *** locallycompact has joined #trustable | 18:53 | |
| *** locallycompact has quit IRC | 21:15 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!