Gabriella439/Haskell-Morte-Library
View on GitHubA bare-bones calculus-of-constructions
- Stars
- 384
- Forks
- 25
- Open beginner issues
- 0
- Indexed issues
- 14
- Dominant language
- Haskell
- License
- BSD-3-Clause
- Last GitHub push
- Sep 4, 2022
- Latest indexed
- Sep 16, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
Gabriella439/Haskell-Morte-Library#5 · 0 comments · 1 reaction · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#30 · 31 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#39 · 9 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#48 · 11 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#52 · 7 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#54 · 25 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#56 · 1 comment · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#57 · 15 comments · 0 reactions · 0 assignees ·
-
Cleaner syntax? Open
Gabriella439/Haskell-Morte-Library#59 · 4 comments · 2 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#62 · 5 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#63 · 4 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#66 · 3 comments · 0 reactions · 0 assignees ·
-
transformers version Open
Gabriella439/Haskell-Morte-Library#67 · 2 comments · 0 reactions · 0 assignees ·
-
Gabriella439/Haskell-Morte-Library#73 · 5 comments · 0 reactions · 0 assignees ·