Commit graph

6 commits

Author SHA1 Message Date
nek0 616cea5f90 better messages with type families 2017-12-27 17:33:31 +01:00
nek0 e8fe302208 new version 2017-12-24 00:39:52 +01:00
nek0 ea90f8f9cd rebuilding participant system 2017-12-20 02:00:48 +01:00
nek0 78f058db6b still won't work 2017-12-13 15:19:53 +01:00
nek0 1cbda31499 fixing things up 2017-12-13 05:05:18 +01:00
nek0 55d863e4cc it builds! 2017-12-13 04:37:16 +01:00