Learn you An Agda And Achieve Enlightenment
source link: http://learnyouanagda.liamoc.net/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Recommend
-
95
README.md Version 0.12.0 A vim mode...
-
58
Introduction 16th Febuary 2011 About this tutorial Welcome to Learn You an Agda and Achieve Enlightenment! . If you’re reading this, you’re probably curious as to what Agda is, why y...
-
33
Grokking Modern JavaScript, In The Wild Written by Cody Lindley Sponsored byFrontend Masters, advancing your skills...
-
12
Update The project that this blog talks about is finished! Here’s a video cast (it’s very fast, based on a terminal recorder): Link. Motivation Recently, I wat...
-
5
The Beginning of Infinity is probably one of the best books I have ever read. David Deutsch, the author, takes you through an intelle...
-
8
This story is part of a group of stories called Finding the best ways to do good. It was a Monday morning, which was reason enough to meditate. I was anxious about the day ahead, and so, as...
-
3
The Robot Does the Hard Work. Can You Still Attain Enlightenment?The robot mandala is a faster and — proponents argue, easier — way to create the traditional sand artwork used for Buddhist meditationI...
-
9
William Blake: A Rebel Against the Age of EnlightenmentPauper, prophet and pre-Romantic
-
6
Enlightenment v0.25.3 - Privilege escalation ...
-
5
Enlightenment 0.26.0 Release Enlightenment 0.26.0 Release 2023-12-23 - by Carsten Haitzler This is the latest release of Enlightenmen...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK