project for today:
compile Idris 1.3.2 for Guix
use it to compile Idris 2 master
start writing some linear algebra in it to refresh my memory
walk doggo
clean room
Conversation
Notices
-
Rain ? (grainloom@cybre.space)'s status on Monday, 29-Jul-2019 15:33:01 CEST Rain ? - Ekaitz Zárraga 👹 repeated this.