dtlc

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

Test post-receive hook on git server

Diffstat:

MREADME | 2++


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

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