[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8},"actionData","errors","root",{"_30":-5,"_40":-5,"_41":42,"_43":44,"_45":46,"_47":48,"_49":50,"_51":52,"_53":54,"_55":56,"_57":58},"routes/_store+/_readers+/contact_author.$slug/route",{"_9":10,"_11":12,"_13":-5,"_14":-5,"_15":-5},"book",{"_16":17,"_18":19,"_20":21,"_22":23,"_24":25},"viewerKnown",false,"currentUser","existingConversationId","formToken","id","Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6Qm9va1Byb2R1Y3QvMzAyNjg","title","Gentle Introduction to Dependent Types with Idris","state","retired","contactAuthorMethod","email","authors",[26],{"_16":27,"_28":29,"_30":31},"Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6UHJvZHVjdEF1dGhvci8zMTY1NQ","name","Boro Sitnikovski","user",{"_32":33},"avatar",{"_34":35,"_36":37,"_38":39},"url","https://d39qdlcrvnra4b.cloudfront.net/avatars/1298128/medium/1620929.jpeg?1541495594","styleName","medium","exists",true,"shoppingCartId","shoppingCart",{"_16":71,"_72":73,"_74":39,"_75":76,"_77":78,"_79":80,"_81":39},"locale","en","readerTheme","light","constants",{"_69":70},"publishers",{"_65":66,"_67":68},"learnerOrganizations",[],"announcements",{"_59":60,"_61":-5},"sentryEnvironment","production","sentryRelease","34b39a99cf18488c56fb0175867f9e503091b00e","announcement_store",{"_62":12,"_63":64},"announcement_authors","flag","text","

Kick off your book project, get started with GhostAI, get better at marketing, or spend the day doing all three! Free live workshops on Zoom. Saturday, June 27, 2026.

\n","companies",[],"universities",[],"paypalClientId","AX53Cwz8jR6rVVzzZiZNWWXl0dGagi-GZrjG-S3Ua14E5nrKMn7DxDQ730O4R8LusLPp49ALn6aRVaEy","no-cart","count",0,"free","updatedAt","","paymentGateway","STRIPE","cartItems",[],"loading"]

Contact the author