issues
search
FormationAI
/
dhall-bhat
Tasty meal of Dhall
66
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update to the latest Dhall
#58
sellout
closed
1 year ago
0
dhall-bhat is incompatible with Dhall-10
#57
sjakobi
opened
5 years ago
1
More granular hierarchy
#56
joneshf
opened
5 years ago
10
Add Compactable
#55
FintanH
opened
5 years ago
5
Add Compactable
#54
FintanH
opened
5 years ago
0
Add `NonEmptyList/fromList`
#53
joneshf
closed
5 years ago
1
`NonEmptyList/comonad` seems off
#52
joneshf
opened
5 years ago
1
Rename package.dhall to terms.dhall.
#51
sellout
closed
5 years ago
0
Add a CircleCI build.
#50
sellout
closed
5 years ago
1
Add Dhall style to the README.
#49
sellout
closed
5 years ago
1
Free monads (church encoding)
#48
mstksg
closed
5 years ago
2
Difference List instances
#47
FintanH
closed
5 years ago
0
terms and types files
#46
FintanH
closed
5 years ago
0
DifferenceList Instances
#45
FintanH
closed
5 years ago
0
Added DList
#44
FintanH
closed
5 years ago
0
Freeze/Caching for dhall-bhat
#43
FintanH
opened
6 years ago
0
Kind polymorphism
#42
sellout
closed
5 years ago
2
Introduce the left Kan extension
#41
joneshf
closed
5 years ago
0
Add docs to readme
#40
FintanH
closed
6 years ago
0
Add documentation tool (and docs).
#39
sellout
closed
6 years ago
0
WIP / Categorical functors
#38
sellout
closed
5 years ago
2
Treat files with no mode as Dhall files (in Emacs).
#37
sellout
closed
6 years ago
1
Fix file casing
#36
joneshf
closed
6 years ago
0
Add a Comonad type class.
#35
sellout
closed
6 years ago
1
Documentation
#34
FintanH
opened
6 years ago
0
Add Bifunctors
#33
basile-henry
closed
6 years ago
2
Add Arrows, and related classes and instances.
#32
sellout
closed
6 years ago
8
Introduce the right Kan extension
#31
joneshf
closed
6 years ago
3
Redefine Codensity and Yoneda in terms of Ran
#30
joneshf
closed
6 years ago
6
Add Contravariance
#29
FintanH
opened
6 years ago
3
Added Codensity
#28
FintanH
closed
6 years ago
0
Yo Yoneda
#27
FintanH
closed
6 years ago
1
Validation
#26
FintanH
closed
6 years ago
0
Add Bifunctors
#25
FintanH
closed
6 years ago
2
Makefile
#24
FintanH
closed
6 years ago
0
Extract superclasses
#23
jkachmar
closed
6 years ago
0
NonEmpty List Type + Typeclasses
#22
FintanH
closed
6 years ago
0
Compose Type
#21
FintanH
closed
6 years ago
0
extract* Functions
#20
FintanH
closed
6 years ago
1
Flatten Type Classes
#19
FintanH
closed
6 years ago
0
Update to latest HEAD of Dhall
#18
FintanH
closed
6 years ago
0
change fold to foldable in Traversable/Type
#17
wavewave
closed
6 years ago
2
Updated package with new file naming
#16
FintanH
closed
6 years ago
0
stronger Applicative support
#15
sellout
closed
6 years ago
3
Flatten Type Class Structures
#14
zliu41
closed
6 years ago
5
Use Id with Transformers
#13
FintanH
closed
6 years ago
1
Derive Functor from Traversable
#12
FintanH
closed
6 years ago
4
Rename to package.dhall
#11
FintanH
closed
6 years ago
1
Add functorFromTraversable
#10
FintanH
closed
6 years ago
0
Generate a `Traversable` instance from just `traverse`.
#9
sellout
closed
6 years ago
1
Next