Applicative Code also supports Agda. (More Agda functionality is forthcoming.)

Show Post

I just published my second The Art of Fauna newsletter to over 400 subscribers! 🦆 I spent too much time making this little pigeon postmark and stamp, but I love them 🥰 You can read the newsletter here: theartoffauna.kit.com/posts/the-ar... #TheArtOfFauna #indiedev #gamedev

Show Post

Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.

Show Post

I'm working on a post on how to implement the iCloud Sign In animation in #SwiftUI – coming soon to patreon.com/swiftui_snippets

Show Post

I finished my bachelors today! 🥳🥳 I’m super happy and proud that I got a 1.0 on my thesis and presentation. (My whole grade will be closer to 1.6 probably) 🤩🥳 I’m excited for what’s ahead and will start studying for a masters degree in autumn.

Show Post