Larry Diehl larrytheliquid
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- This is going to be on Hackage soon! https://github.com/gatlin/surely | |
| {-# LANGUAGE BangPatterns #-} | |
| -- | | |
| -- Module : AI.Surely | |
| -- Copyright : 2012 Gatlin Johnson | |
| -- License : LGPL 3.0 | |
| -- Maintainer : rokenrol@gmail.com | |
| -- Stability : experimental |
larrytheliquid
/ Maths.agda
Created
July 15, 2011 03:10
Rudimentary but working Agda -> Ruby compilation & use examples (see test file at bottom) http://github.com/larrytheliquid/agda-rb
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Maths where | |
| data Nat : Set where | |
| zero : Nat | |
| suc : Nat → Nat | |
| plus : Nat → Nat → Nat | |
| plus zero n = n | |
| plus (suc m) n = suc (plus m n) |
larrytheliquid
/ my-plt-ish-books.txt
Created
October 17, 2010 04:58
programming language theory: my current batch of books related to the topic, should help to get a feel of the basics
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Mathematical Logic - Kleene | |
| Basic Category Theory for Computer Scientists - Pierce | |
| A Book of Abstract Algebra - Pinter | |
| Conceptual Mathematics - Lawvere & Schanuel | |
| An Introduction to Formal Logic - Smith | |
| To Mock A Mockingbird - Smullyan | |
| Introduction To Logic - Tarski | |
| Purely Functional Data Structures - Okasaki | |
| Topoi: The Categorial Analysis of Logic - Goldblatt | |
| Lectures on the Curry-Howard Isomorphism - Sorensen, Urzyczyn |
NewerOlder