Epilogue » Library

Archive for the 'Library' Category

More Epilib

Friday, July 8th, 2005

I’ve been doing a bit more work on the Epigram libraries. Check out two new library snapshots:

It’s starting to look as messy as a proper library.
(more…)

Posted in Library | No Comments »

You are currently browsing the archives for the Library category.
Pages
- Ecce
- Issues and Inklings
Recent Comments:
- Edwin Brady on GHC back end?: "I wondered if you'd say that :). I think it ought to be..."
- Conor on GHC back end?: "Usual remark: I'd like to generate direct Haskell code..."
- Edwin Brady on GHC back end?: "I don't see any reason why OCaml shouldn't work just as..."
- Carl Witty on GHC back end?: "Total off-the-wall comment... Have you considered..."
- pwm on Next stop, a wee theorem prover...: "I've finally got round to adding the..."
- Jon on GHC back end?: "GHC still generates C which is passed to GCC, right? So you're..."
- Conor on Next stop, a wee theorem prover...: "I've hacked up some of the boring bits...."
- Conor on Towards Observational Equality: "We have extensionality in the form prf : all..."
- Conor on Towards Observational Equality: "If you check out tests/WCoe.suit, you'll..."
- Conor on Towards Observational Equality: "I've done the first three of these; I've..."
Archives
- 2006
  - March (1)
  - February (4)
  - January (6)
- 2005
  - December (2)
  - November (4)
  - October (9)
  - September (1)
  - July (9)
  - June (16)
  - May (4)
  - April (1)
  - March (6)
  - February (8)
  - January (17)
Categories
- CVS Updates (1)
- General (67)
- Hacking (16)
- Library (1)
- Observational Type Theory (1)
- WebAdmin (5)