dtlc

dependently-typed lambda calculus toy
git clone git://git.rr3.xyz/dtlc
Log | Files | Refs | README | LICENSE
commit 25d768f2003100771b92c74a916ee38f36712c9c
parent 4981a9d1d62d03a546a8411d240570fea5dfc7ea
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 26 Aug 2024 18:44:52 -0700

Undo git post-receive test

Diffstat:

MREADME | 2--


1 file changed, 0 insertions(+), 2 deletions(-)

diff --git a/README b/README
@@ -7,5 +7,3 @@ implemented, dependent pattern matching is broken, pattern matching
 on built-in Nats is not implemented.
 
 See the examples in the examples directory.
-
-Test