Skip to content

Commit 15f0171

Browse files
committed
version 1.0.0
1 parent 7449e35 commit 15f0171

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

mini-egison.cabal

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
cabal-version: 1.12
22

33
name: mini-egison
4-
version: 0.1.6
4+
version: 1.0.0
55
synopsis: Template Haskell Implementation of Egison Pattern Matching
66
description: This package provides the pattern-matching facility that fulfills the following three criteria for practical pattern matching for non-free data types\: (i) non-linear pattern matching with backtracking; (ii) extensibility of pattern-matching algorithms; (iii) ad-hoc polymorphism of patterns.
77
Non-free data types are data types whose data have no standard forms.

0 commit comments

Comments
 (0)