Skip to content

Semantic Dreams

Home

Note: writing in Agda is very slow.

— Ashley Yakeley

Correctness and Programming Language

2014-12-17

1 Reply

Post navigation

← There is No Haskell Topology Haskell Maxims and Arrows →

One thought on “Correctness and Programming Language”

naesten 2015-06-20 at 11:17

I find the fact that Agda’s curve intercepts the X axis a bit puzzling 😉

Reply ↓

Leave a ReplyCancel reply

Search for:

Posts

Notes on Implementing Algebraic Subtyping 2024-05-04
Pinafore 0.5 2024-04-15
Sixteen Unusual Things About Pinafore 2023-08-31
Pinafore 0.4 2023-08-27
Monadology 0.1 2022-09-13
The Fate of Bitcoin 2021-09-17
Pinafore 0.3 2021-04-11
Pinafore 0.2 2020-12-21
Whole Haskell Use of GADTs 2020-11-02
Whole Haskell is Best Haskell 2020-11-02
Pinafore 0.1 2020-09-21
Forbidden Haskell Types 2020-07-13
Pinafore Talk, LambdaConf 2019 2020-04-17
Empty and Unit Types 2019-06-11
How To Write an Interpreter for a Lambda-Calculus-Based Language 2017-12-20
With-Resource Puzzle 2017-12-16
Haskell Maxims and Arrows 2017-04-16
Correctness and Programming Language 2014-12-17
There is No Haskell Topology 2014-10-01

Recent Comments

Pinafore: An Unusual Programming Language – Veritas Reporters on Sixteen Unusual Things About Pinafore
Resumen de lecturas compartidas durante noviembre de 2020 | Vestigium on Whole Haskell is Best Haskell
Resumen de lecturas compartidas durante julio de 2020 | Vestigium on Forbidden Haskell Types
Forbidden Haskell Types | Hacker News on Forbidden Haskell Types
naesten on Correctness and Programming Language

Archives

May 2024
April 2024
August 2023
September 2022
September 2021
April 2021
December 2020
November 2020
September 2020
July 2020
April 2020
June 2019
December 2017
April 2017
December 2014
October 2014

Categories

other
software

Meta

Log in
Entries feed
Comments feed
WordPress.org

Proudly powered by WordPress