4 ms·Is the Idris book on your list?by mrkgnao 10y agoIs the Idris book on your list?douche 10y agoNot yet... i have too many angualr and F# and .net books queued up already...