autumnwinds

autumnwinds@mathstodon.xyz

<p>Interested in mathematics, history, biology, I mean everything really except for money</p>

Posts

View post
@amy hey the mikan readme doesn’t mention what platforms cachix binaries exist for. I’m interested in macos. Can I install mikan without compiling?
View post
I just want to match on `mempty` is that too much to ask