spl/church spl/church

  • This repository has been archived on 29/Aug/2019
  • Stars
    star
    1
  • Language
    Haskell
  • Created about 14 years ago
  • Updated about 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spl/church
github

spl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A simple type-checker for Girard's System Fฯ‰ in Church-style (each variable must be annotated with it's type)

More Repositories

1

dlist

Difference lists in Haskell
Haskell
63
star
2

zfs-on-mac

My personal ZFS on macOS instructions and scripts
Shell
56
star
3

homebrew-pdftk

(UNMAINTAINED) Homebrew Formula for PDFtk Server
Ruby
54
star
4

multi-ghc

Tools to support multiple GHC distributions in a Bash shell environment
Shell
14
star
5

ivy

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
OCaml
14
star
6

font-awesome-type

A Font Awesome data type enumerating all icon classes in Haskell
Haskell
8
star
7

emgm

Extensible and Modular Generics for the Masses
Haskell
6
star
8

basic-category-theory

Source for Basic Category Theory by Tom Leinster
TeX
5
star
9

xformat

Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell
Haskell
5
star
10

alpha-conversion-is-easy

Lean proof of alpha-conversion is easy
Lean
4
star
11

ghc-ver

GHC version selection script for Haskell Platform on Mac OS X
Shell
4
star
12

jhc

Read-only mirror of jhc, a Haskell compiler that aims to produce the most efficient programs possible via whole program analysis and other optimizations
Haskell
4
star
13

talks

Sources of various talks that I've given
Haskell
4
star
14

splonderzoek

Code for blog entries
Haskell
3
star
15

sandbox

A collection of experiments with no relevance to anything else
Haskell
2
star
16

functionalize-functors

A type class for functionalizing functors
Haskell
2
star
17

jhc-darcs

Read-only mirror of the jhc darcs repository
Haskell
2
star
18

generic-deriving-extras

Numerous generic functions that use generic-deriving
Haskell
2
star
19

haskell-box-view

Simple implementation of the Box View API
Haskell
2
star
20

lean-tutorial

Code from working on the Lean tutorial
Lean
1
star
21

spine

Simple implementation of the generic spine view
Haskell
1
star
22

tts

Lean
1
star
23

haskell-marketo

Implementation of parts of the Marketo REST API
Haskell
1
star
24

lhs2TeX-haskell

Customized formatting of Haskell in lhs2TeX
Haskell
1
star
25

bash-config

My bash configuration files
Shell
1
star
26

pdftk

(UNMAINTAINED) Mirror of PDFtk Server
Java
1
star
27

ligd

Lightweight Implementation of Generics and Dynamics
Haskell
1
star
28

http-client-request-modifiers

Convenient monadic HTTP request modifiers
Haskell
1
star
29

haskell-hubspot

Implementation of parts of the HubSpot API
Haskell
1
star
30

network-uri-sandbox

A sandbox for different combinations of network-uri and network dependencies
Shell
1
star
31

yesod-example-sqlite

A generated (SQLite) Yesod reference example
Haskell
1
star